redefined Zip to accept arguments of different lengths

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

MIT License

273 stars 36 forks source link

Closed muenchnerkindl closed 2 years ago

muenchnerkindl commented 2 years ago

Cf. issue #78, but used a simple definition rather than one based on Fold.

lemmy commented 2 years ago

This definition is obviously way better (cleaner & simpler) than my proposal based on folds.