Emacs

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.

• Agda mode key combinations.
• How to input special characters
• How to see special characters