emacs-idris-mode 1.0-0.b77eadd Major mode for editing Idris code
This is an Emacs mode for editing Idris code. It is compatible with the latest versions of Idris 1.
- Website: https://github.com/idris-hackers/idris-mode
- License: GPL 3+
- Package source: emacs-xyz.scm
- Patches: None
- Builds: x86_64-linux, i686-linux