alhassy/org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

语言：Emacs Lisp · GitHub 星标：21 · Fork：6

话题：agda · emacs · literate-programming · minor-mode · org-mode

在 GitHub 上查看原仓库