Fixup default pair function from lambda

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Closed mariari closed 1 year ago

mariari commented 1 year ago

Previously it was taking geb's pair which took two arguments, now it's restored to the proper 4 argument version