agda-mode

Safe HaskellSafe-Infered

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

Documentation

main :: IO ()

The program.