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!
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!