| |||||
| |||||
Description | |||||
A program which either tries to add setup code for Agda's Emacs mode to the users .emacs file, or provides information to Emacs about where the Emacs mode is installed. | |||||
Synopsis | |||||
| |||||
Documentation | |||||
| |||||
The program. | |||||
Produced by Haddock version 2.4.2 |