ModuleAgda-2.8.0.2Haskell2010

Agda.Setup.DataFiles

The list of data files Agda uses.

Because of TemplateHaskell state restrictions, this cannot be define in 'Agda.Setup'.

valuedataPath :: FilePath -> FilePath

A data file path relative to the project root.

valuedataFiles :: [FilePath]

Agda's embedded data files.

valueemacsModeDir :: FilePath

The subdirectory in the Agda data directory containing the emacs mode.

valueemacsLispFiles :: [FilePath]

The Agda mode's Emacs Lisp files, given in the order in which they should be compiled.