ModuleAgda-2.8.0.2Haskell2010

Agda.Setup.EmacsMode

Setup up the emacs mode for Agda.

valuehelp :: String

Help topic for --emacs-mode.

Locate

2 declarations

valuelocateFlag :: String

valueprintEmacsModeFile :: IO ()

Prints out the path to the Agda mode's main file (using UTF-8 and without any trailing newline).

2 declarations

valuesetupFlag :: String

valuesetupDotEmacs :: String -> IO ()

Tries to set up the Agda mode in the given .emacs file.

2 declarations

valuecompileFlag :: String

valuecompileElispFiles :: IO ()

Tries to compile the Agda mode's Emacs Lisp files.

1 declaration

valueinform :: String -> IO ()