hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
185 stars 39 forks source link

Wording of "new" types #4

Closed th closed 2 years ago

th commented 2 years ago

operators.rst:

If you want to get on ahead, the new types we are not talking about are model values <model_value>, structs <struct>, and functions <function>. Yes, operators and functions are different things.

Sorry, this had me stumble, because I wasn't sure what “new” refers to here. I surmised that it might be the ones not covered now, but the wording seemed strange and it had me count in the right sidebar if 3 types were missing from the 4+4. Which wasn't easy, because the structure in the sidebar isn't meant to support this counting. Maybe just leave out the “new”?

hwayne commented 2 years ago

Updated!