Release of REPL

[DDDOH]

Thanks for this excellent work. Is there any timeline for the release of the REPL?

          How do you use repl to check the correctness of our LEAN-Workbook? For our implemented repl, we are still working on organizing the source codes.

Originally posted by @objecti0n in #31 (comment)