IRTS.System

getDataFileName

getCC

getLibFlags

getIdrisDataDir

getIdrisLibDir

getIdrisDocDir

getIdrisCRTSDir

getIdrisJSRTSDir

getIncFlags

getEnvFlags

version