See the official user manual for the most up-to-date version of the information on this page.

Emacs interface to Agda

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

Page last modified on December 14, 2018, at 06:31 PM
Powered by PmWiki