Update on REPL

I've added details about REPL.