Adding State Constraints to infinite loops section - Githubissues

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

Adding State Constraints to infinite loops section #64

Closed jesmg closed 6 years ago

jesmg commented 6 years ago

Fixes #56

hwayne commented 6 years ago

Got a picture and everything. Heck yeah!