search

hwayne / learntla

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

fix `money = 1` typo in introduction example #94

Closed arafathusayn closed 2 years ago

arafathusayn commented 4 years ago

Hi,

In this section of https://www.learntla.com/introduction/example/ page, it should be money = -1, I think.

image

This is my first ever pull request on GitHub so pardon my mistakes.

hwayne commented 2 years ago

Oh I think it's that "when money starts as 1". I'll unify evrything

hwayne commented 2 years ago

Closing because archiving in favor of new version