search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Fix typo in about-this-guide #78

Closed stevemns closed 2 years ago

stevemns commented 5 years ago

First paragraph was missing the word "are" (the other parts boring -> the other parts are boring)