Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

emacs-agda2-mode 2.6.0.1 Emacs mode for Agda

This Emacs mode enables interactive development with Agda. It also aids the input of Unicode characters.