Agda.Interaction.Library
getDefaultLibraries
getInstalledLibraries
libraryIncludePaths
type LibName
type LibM