search

hwayne / learntla-v2

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

Fix await statement in TLA+ section #58

Closed federicobond closed 1 year ago

hwayne commented 1 year ago

Thanks for making all of these improvements!