Idris.Info.Show

showIdrisCRTSDir

showExitIdrisCRTSDir

showIdrisJSRTSDir

showExitIdrisJSRTSDir

showIdrisFlagsLibs

showExitIdrisFlagsLibs

showIdrisDataDir

showExitIdrisDataDir

showIdrisLibDir

showExitIdrisLibDir

showIdrisDocDir

showExitIdrisDocDir

showIdrisFlagsInc

showExitIdrisFlagsInc

showIdrisInstalledPackages

showExitIdrisInstalledPackages

showIdrisLoggingCategories

showExitIdrisLoggingCategories

showIdrisInfo

showExitIdrisInfo