search

hwayne / learntla

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

Fix minor typo in stock example #96

Closed klinvill closed 2 years ago

klinvill commented 3 years ago

The comment in the stock example states that best[2] > best[1] enforces "Buy after sell". However, as the example description states, we must buy before we sell. Therefore I just swapped the comment to: "Sell after buy"

hwayne commented 2 years ago

Closing because archiving in favor of new version