hwayne / learntla

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

Suggestion: Add quotes around "and" and "or" when explaining logical operator notation. #55

Closed ssanderson closed 6 years ago

ssanderson commented 6 years ago

Hi @hwayne! I was reading learntla.com after the PyCon open space yesterday and thought this sentence might be a bit clearer with quotes around the words "and" and "or". Feel free to close and/or modify this if you disagree.

hwayne commented 6 years ago

You're right, that does make it a lot clearer!