gallais / MiniAgda-mode

An emacs mode for MiniAgda

MiniAgda-mode

An emacs mode for MiniAgda. The content of emacs should go in your .emacs file (please do follow the instructions).