Emacs Interface

TOC

The primary interface to Agda is a major mode for Emacs. This provides an interactive editing environment.

See the Quick Editing Guide and links therein for more information.