Agda.Interaction.Library

getDefaultLibraries

getInstalledLibraries

libraryIncludePaths

type LibName

type LibM