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.