A work-in-progress Idris Mode for Atom.
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
Place your ipkg file in the top level directory of your project. There is more information available in a in a separate documentation.
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.
Or you can execute
apm dev language-idris. This will install the package in a separate directory and you need to start
Atom in dev-mode to load the development packages (
atom -d your/folder).
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.