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