idris-mode
soimort/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
0stars
Forks
0
Open issues
0
Watchers
0
Size
0.9 MB
Emacs LispGNU General Public License v3.0
Created: Oct 29, 2014
Updated: Nov 3, 2017
Last push: Nov 3, 2017
Fork