archaeron

there are more issues one of them is probably that this is not `public export`: https://github.com/idris-lang/Idris-dev/blob/e0c893caf2e64498214f61e39c8ecd5bb33c0ed6/libs/contrib/Network/Socket.idr#L132-L133

use idris-ide-client

16

Work in progress to replace our own ide client with this: https://github.com/meraymond2/idris-ide-client

Add Semantic Highlighting to the TextEditor

5

ide-mode gives us back data on how to highlight the sourcecode: http://docs.idris-lang.org/en/latest/reference/ide-protocol.html#source-code-highlighting this would need some sort of dynamic grammar see discussions on how to do it: https://discuss.atom.io/t/syntax-highlighting-using-existing-tokenizer/13608 https://discuss.atom.io/t/automatically-update-to-dynamic-grammar/10181 https://discuss.atom.io/t/defining-a-language-grammar-via-code/14784/2...

Add proof mode

8

see https://www.youtube.com/watch?v=0eOY1NxbZHo&list=PLiHLLF-foEexGJu1a0WH_llkQ2gOKqipg

Should have a much better startup time

6

Trades the startup time for slower execution of the first command #28 @alexchandel could you take a look at this?

highlight function parameters

1

I think I've got it #93

Warn user if the idris path points to a directory. Maybe with a warning that says: "The path should point to the idris executable and not the folder containing it"...

As reported by @edwinb in https://youtu.be/X36ye-1x_HQ?t=32m33s The error messages look like this currently:  They can't be styled and they don't have any syntax highlighting