jwiegley/agda-mode

Mirror of the Emacs agda-mode that comes in the release tar ball