hwayne / learntla

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

Mention || when first used #95

Closed courajs closed 2 years ago

courajs commented 4 years ago

The tower of hanoi example uses the || when it hasn't been introduced (I'm not sure if it is later). It then goes on to say "Everything should look familiar with the exception of the set syntax we use to define “from” and “to”". A short parenthetical would help – something like "(and the || operator, which lets multiple assignments all use the old values)"