         command = 'IOTCM "' + @filepath + '" NonInteractive Indirect (Cmd_load "' + @filepath + '" ["./", "' + includeDir + '"])\n'
       else
         command = 'IOTCM "' + @filepath + '" NonInteractive Indirect (Cmd_load "' + @filepath + '" [])\n'
-      
+
       @executable.agda.stdin.write command
 
     @on 'activate', =>


  give: ->
    if @loaded
      console.log 'give'
      @atGoal()

  atGoal: ->

    if goals.length is 1


      command = 'IOTCM "' + @filepath + '" NonInteractive Indirect (Cmd_give  0 (Range [Interval (Pn (Just (mkAbsolute "' + @filepath + '")) 119 9 7) (Pn (Just (mkAbsolute "' + @filepath + '")) 124 9 12)]) "raw  " )\n'
    
      @executable.agda.stdin.write command

    else
