Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
269
stars
71
forks
source link
Conditional semantic faces for light/dark backgrounds #399
Closed
BartAdv closed 9 years ago
This is really great! Thanks!