emacs-idris-mode 0.9.19-0.acc8835 Major mode for editing Idris code

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.