Emacs

Emacs interface to Agda

There is an Agda mode for Emacs which consists of some special key combinations for interaction with the Agda system.