Idris.Info
getIdrisDataDir
getIdrisCRTSDir
getIdrisJSRTSDir
getIdrisLibDir
getIdrisDocDir
getIdrisFlagsLib
getIdrisFlagsInc
getIdrisFlagsEnv
getIdrisCC
getIdrisVersion
getIdrisVersionNoGit
getIdrisUserDataDir
getIdrisInitScript
getIdrisHistoryFile
getIdrisInstalledPackages
getIdrisLoggingCategories
getIdrisDataFileByName