idris-hackers/idris-mode

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

语言：Emacs Lisp · GitHub 星标：275 · Fork：73

在 GitHub 上查看原仓库