Documentation

main :: IO ()Source

runIdris :: [Opt] -> Idris ()Source

usage :: IO bSource

showver :: IO bSource

showLibs :: IO bSource

showLibdir :: IO bSource

showIncs :: IO bSource

usagemsg :: [Char]Source