Mirror of the Emacs agda-mode that comes in the release tar ball
Primary LanguageEmacs Lisp
This repository is not active