search

hwayne / learntla-v2

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

core: invariants: Fix 'index' typo #34

Closed amboar closed 1 year ago

amboar commented 1 year ago

Make the inline TypeInvariant code match the code in the example at docs/specs/duplicates/inv_1/duplicates.tla.

Signed-off-by: Andrew Jeffery andrew@aj.id.au

hwayne commented 1 year ago

ta!