Idris.REPL
repl
startServer
processNetCmd
runClient
initIdeslaveSocket
ideslaveStart
ideslave
runIdeSlaveCommand
ideSlaveForceTermImplicits
splitName
ideslaveProcess
mkPrompt
lit
processInput
resolveProof
removeProof
edit
proofs
insertScript
process
showTotal
showTotalN
displayHelp
pprintDef
helphead
replSettings
idris
loadInputs
idrisMain
runMain
execScript
getIdrisUserDataDir
getInitScript
initScript
getFile
getBC
getOutput
getIBCSubDir
getImportDir
getPkgDir
getPkg
getPkgClean
getPkgREPL
getPkgCheck
getPkgMkDoc
getPkgTest
getCodegen
getExecScript
getEvalExpr
getOutputTy
getLanguageExt
getTriple
getCPU
getOptLevel
getOptimisation
getColour
getClient
getPort
opt
ver
defaultPort
banner
warranty