Documentation
Commentary
This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.
Requires
Dependencies
Consumers
Reverse Dependencies
No reverse dependencies recorded.