Hello, thanks for stopping by! I like to make games and programming languages.
eriksvedang / 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