search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Redefine restricted SequencesExt!Zip. #79

Closed lemmy closed 2 years ago

lemmy commented 2 years ago

Addresses Github issue #78 https://github.com/tlaplus/CommunityModules/issues/78

[Feature]

lemmy commented 2 years ago

Closing in favor of https://github.com/tlaplus/CommunityModules/pull/80