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