learntla-v2 reviews and mentions

• Announcing: Learn TLA+
  1 project | news.ycombinator.com | 1 Jul 2022

  I noticed a bug in the example, and thought that was the bug TLA+ would be used to solve. Apparently, that's a real bug, and the rest of the doc does not address it. So I proposed a fix for it [1].

  [1]: https://github.com/hwayne/learntla-v2/pull/13

• The new Learn TLA+ guide
  1 project | /r/programming | 1 Jul 2022

  I'm still working on the project, so feel free to submit any suggestions or bug reports in the Github repo! (https://github.com/hwayne/learntla-v2/)