search

hwayne / learntla-v2

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

fix argument name in RangeStruct #38

Closed elh closed 1 year ago

elh commented 1 year ago

I believe this was a typo. Thanks for writing and maintaining this.

hwayne commented 1 year ago

Ta!