search

hwayne / learntla-v2

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

fix: expand the Tail example #24

Closed jmg-duarte closed 2 years ago

jmg-duarte commented 2 years ago

I found the Tail example not to be very explicit, I think adding a single element makes it much clearer

hwayne commented 2 years ago

Good idea!