Link: on TLA+ command-line support

This was a pointer to whet your appetite for more TLA+. It also mentions Hillel Wayne’s book on using the system.

Now following @bellmar!

Published by olleolleolle

Olle is a programmer, enjoying sunny Malmö in Sweden.

Leave a comment

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.