agda-modeSource codeContentsIndex
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 ()
Documentation
main :: IO ()Source
The program.
Produced by Haddock version 2.4.2