Popular repositories Loading

1. Forked from idris-hackers/idris-mode

   Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.

   Emacs Lisp