Help topic for --emacs-mode.
ModuleAgda-2.8.0.2Haskell2010
Agda.Setup.EmacsMode
Setup up the emacs mode for Agda.
Synopsis
- value help
- value locateFlag
- value printEmacsModeFile
- value setupFlag
- value setupDotEmacs
- value compileFlag
- value compileElispFiles
- value inform
- PackageAgda-2.8.0.2
- Exports8
- LanguageHaskell2010
- LicenceMIT
- SourceEmacsMode.hs
Locate
Prints out the path to the Agda mode's main file (using UTF-8 and without any trailing newline).
Setup
Tries to set up the Agda mode in the given .emacs file.
Compile
Tries to compile the Agda mode's Emacs Lisp files.