I’m still making some tweaks and edits (mostly adding more reference material), but it’s complete for the most part. Feel free to send me suggestions!
Github Repo is here.
I was reading through some of this yesterday, and it’s fantastic! Thanks you for writing it!
This is awesome! I’ve been curious about pluscal/TLA+ forever, and now I have no excuse not to put this wonderful documentation to use :)
Love it. I did a little TLA+ a long time ago. This seems like a great way to get back into it!