rich 1.0 lemmster https://asciinema.org/~lemmster asciinema https://asciinema.org/ https://asciinema.org/a/342884.png 2132 2456 <a href="https://asciinema.org/a/342884" target="_blank"><img src="https://asciinema.org/a/342884.png" alt="TLA+ REPL - Load custom modules" width="2132"></a> 2132 2456