agda-mode
Main
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
main :: IO ()
The program.