Idris.REPL
repl
startServer
processNetCmd
runClient
initIdemodeSocket
idemodeStart
idemode
runIdeModeCommand
ideModeForceTermImplicits
splitName
idemodeProcess
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
getConsoleWidth
getExecScript
getPkgIndex
getEvalExpr
getOutputTy
getLanguageExt
getTriple
getCPU
getOptLevel
getOptimisation
getColour
getClient
getPort
opt
ver
defaultPort
banner
warranty