Idris.REPL

idemodeStart

startServer

runClient

process

replSettings

repl

proofs