idris-mode
Emacs Lisp
★ 0
updated 8y ago
⑂ fork
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
No plain-English explanation yet — one is being written right now. Check back in a minute.