Idris.Info.Show
showIdrisCRTSDir
showExitIdrisCRTSDir
showIdrisJSRTSDir
showExitIdrisJSRTSDir
showIdrisFlagsLibs
showExitIdrisFlagsLibs
showIdrisDataDir
showExitIdrisDataDir
showIdrisLibDir
showExitIdrisLibDir
showIdrisDocDir
showExitIdrisDocDir
showIdrisFlagsInc
showExitIdrisFlagsInc
showIdrisInstalledPackages
showExitIdrisInstalledPackages
showIdrisLoggingCategories
showExitIdrisLoggingCategories
showIdrisInfo
showExitIdrisInfo