Agda-2.5.2: A dependently typed functional programming language and proof assistant
Agda.Interaction.Library
getDefaultLibraries :: FilePath -> Bool -> LibM ([LibName], [FilePath]) #
getInstalledLibraries :: Maybe FilePath -> LibM [AgdaLibFile] #
libraryIncludePaths :: Maybe FilePath -> [AgdaLibFile] -> [LibName] -> LibM [FilePath] #
type LibName = String #
type LibM = ExceptT Doc IO #