Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs. - View it on GitHub
Star
274
Rank
135325