Update repl.py

documentation