Skip to content

Zip Theorems

Rudy Petersonrequested to merge
rudynicolop/stdpp:zip-list-thms into master

Theorems for zip over list, including fmap over list and NoDup.

Merge request reports