This is a Python based REPL for evaluating TLA+ expressions. It provides an easy, interactive way to debug TLA+ expressions and can help when learning or experimenting with the language. It uses the TLC model checker to evaluate TLA+ expressions. The evaluation of expressions in the interactive REPL is a bit slow, since it starts up a new instance of the TLC model checker each time. It also does not yet support any persistence within the same REPL session. That is, each expression is evaluated in isolation, and so earlier definitions will not be used in later expressions. The feedback loop for experimentation is still considerably better than what is currently provided by the TLA+ Toolbox IDE. Eventually TLC may support some kind of "interactive" mode natively, which would make it much easier to build a performant and robust REPL.