A work-in-progress Idris Mode for Atom.
It supports:
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
.
Place your ipkg file in the top level directory of your project. There is more information available in a in a separate documentation.
see the Development Guide
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.