search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
185 stars 39 forks source link

Fix typo in found states number in constants.rst #17

Closed denis-protivensky closed 2 years ago

denis-protivensky commented 2 years ago

There's a typo in the number of states for the set of model values.

hwayne commented 2 years ago

This is why all of the other state space values are autogenerated, lol

denis-protivensky commented 2 years ago

Yeah, in the meantime, thank you for the great learning resource! It's not easy, but it definitely has its structure.