1. 36
  1.  

  2. 11

    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.

    1. 2

      I was reading through some of this yesterday, and it’s fantastic! Thanks you for writing it!

      1. 2

        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 :)

        1. 2

          Love it. I did a little TLA+ a long time ago. This seems like a great way to get back into it!