idris-mode

Homepage: https://github.com/idris-hackers/idris-mode

Updated:

Summary

Major mode for editing Idris code

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.

Dependencies