search

hwayne / learntla-v2

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

Fixes for simple typos #70

Closed dprats closed 10 months ago

dprats commented 11 months ago

Hi there!

In reading the documentation, I found a few low-impact typos that I figured I could fix while working through the lessons.

I have learned a lot from this documentation effort so I figured I could contribute back.

dprats commented 11 months ago

@hwayne fixed the comment. hope that helps!

hwayne commented 10 months ago

Thank you!