Idris.REPL.Parser
parseCmd
help
allHelp
setOptions