REPL documented