Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Interaction.Library

# Documentation

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 #