Idris.REPL

getClient

getPkg

getPkgCheck

getPkgClean

getPkgMkDoc

getPkgREPL

getPkgTest

getPort

getIBCSubDir

idris

idrisMain

loadInputs

opt

runClient

runMain

ver