Not working at all #15
Description
When ever I to do anything it throws a parse error about symbols that are not even it the file. Here is my file, called test.idr.
module test
test : a -> ()
If i put my cursor any where on the line with the test function and do '\a' I get this output on the '\i' screen and my cursor is set to the colon.
Parse error: Unrecognised command (next tokens: [identifier ac, symbol !, end of input])