slaven-s / idris-mode Goto Github PK
View Code? Open in Web Editor NEWThis project forked from idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
License: GNU General Public License v3.0