search

hwayne / learntla-v2

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

Fix typo at Understanding the Syntax section #52

Closed pfeodrippe closed 1 year ago

pfeodrippe commented 1 year ago

Great docs, Hillel! It's helping me to add more TLA+ features into my pfeodrippe/recife project.