GitHub repository: sellout/idris-mode
Primary language: Emacs Lisp
Description: Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.