idris-community/idris2-mode

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

语言：Emacs Lisp · GitHub 星标：31 · Fork：9

在 GitHub 上查看原仓库