| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Setup.DataFiles
Description
The list of data files Agda uses.
Because of TemplateHaskell state restrictions, this cannot be define in 'Setup'.
Synopsis
- dataPath :: FilePath -> FilePath
- dataFiles :: [FilePath]
- emacsModeDir :: FilePath
- emacsLispFiles :: [FilePath]