Agda.Interaction.Library
getDefaultLibraries
getInstalledLibraries
libraryIncludePaths
type LibName
type LibM
data VersionView
versionView
unVersionView
findLib'