Idris.REPL.Parser

parseCmd

help

allHelp

setOptions