search

hwayne / learntla

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

Fix expression where I say zero is two #15

Closed hwayne closed 7 years ago

hwayne commented 7 years ago

https://github.com/hwayne/learntla/commit/3c7fd5876a1c0412fd9e55b7e74963857e32052b#commitcomment-22320853

hwayne commented 7 years ago

Fixed