idris-0.9.11.2: Functional Programming Language with Dependent Types
IRTS.System
getTargetDir :: IO StringSource
getCC :: IO StringSource
getLibFlags :: IO [Char]Source
getIdrisLibDir :: IO FilePathSource
getIncFlags :: IO [Char]Source
getMvn :: IO StringSource
getExecutablePom :: IO FilePathSource