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