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