search

hwayne / learntla-v2

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

Spelling fix only minor. #18

Closed rluiten closed 2 years ago

hwayne commented 2 years ago

Ta!