Idris.Info

getIdrisLibDir

getIdrisFlagsLib

getIdrisFlagsInc

getIdrisFlagsEnv

getIdrisCC

getIdrisVersion

getIdrisVersionNoGit

getIdrisUserDataDir

getIdrisInitScript

getIdrisHistoryFile

getIdrisInstalledPackages

getIdrisLoggingCategories