search

hwayne / learntla-v2

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

Cutoff sentence in "Writing Specifications" #26

Closed kvakil closed 2 years ago

kvakil commented 2 years ago

This sentence here is cut off:

Not all blocks have to have the same number of labels! Conditionals trigger different behavior, which can take different amounts of time. If you have a lot of

hwayne commented 2 years ago

dangit

hwayne commented 2 years ago

I'm just removing the sentence entirely