MiniAgda-mode

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

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
README.md		README.md
emacs		emacs
ma.el		ma.el

Provide feedback