Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Latest commits.
Builders behind this project.
