search

hwayne / learntla

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

Move note to the correct place #73

Closed cb372 closed 2 years ago

cb372 commented 5 years ago

The note about MoneyInvariant should come after that invariant has been added to the spec and referenced in the model.