A work-in-progress Idris Mode for Atom.
It supports:
- Case-splitting (ctrl-alt-c)
- Clause-adding (ctrl-alt-a)
- Proof-search (ctrl-alt-s)
- Showing the types of meta-variables (ctrl-alt-t)
- Show the doc of a variable (ctrl-alt-d)
The package should work after installation. The only thing you might need to
set is the path to the idris executable in the config of this package.
If it doesn't work it's probably a bug.
There is a tutorial on how to use the editor under documentation/tutorial.md.
- Add better support for drawing attention to error-messages
- Improve the syntax-highlighting (the current is base on the Sublime plugin)
- Add autocompletion
- Add a REPL
- ...
To work on this plugin you need to clone it into your atom directory
and rename the folder to language-idris or the package settings won't get picked up.
Then you need an apm install from the language-idris folder to install the dependencies.