search

hwayne / learntla-v2

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

Wording on "everything after" #6

Closed th closed 2 years ago

th commented 2 years ago

core/indes.rst:

Everything up to and including "temporal properties" is necessary to fully use TLA+. Everything after that adds further power.

I get your point, really, but it sounds awkward when “everything else” is one single bullet point that is basically “whatever”.

hwayne commented 2 years ago

Updated!