Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
getInstalledLibraries :: Maybe FilePath -> LibM [AgdaLibFile] Source #
libraryIncludePaths :: Maybe FilePath -> [AgdaLibFile] -> [LibName] -> LibM [FilePath] Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
getInstalledLibraries :: Maybe FilePath -> LibM [AgdaLibFile] Source #
libraryIncludePaths :: Maybe FilePath -> [AgdaLibFile] -> [LibName] -> LibM [FilePath] Source #