search

hwayne / learntla-v2

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

Fix? image caption #51

Closed bnm3k closed 1 year ago

bnm3k commented 1 year ago

Minor change. I'm guessing the caption should read from counter=1 to counter=0, since "to counter=2" does not invalidate the action property

hwayne commented 1 year ago

Oops you're right!