Idris.Info

getIdrisDataDir

getIdrisCRTSDir

getIdrisJSRTSDir

getIdrisLibDir

getIdrisDocDir

getIdrisFlagsLib

getIdrisFlagsInc

getIdrisFlagsEnv

getIdrisCC

getIdrisVersion

getIdrisVersionNoGit

getIdrisUserDataDir

getIdrisInitScript

getIdrisHistoryFile

getIdrisInstalledPackages

getIdrisLoggingCategories

getIdrisDataFileByName