Corrections and enhancements to `PolyFunc` combinators - Githubissues

anoma / geb

A Categorical View of Computation

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

GNU General Public License v3.0

28 stars 10 forks source link

Corrections and enhancements to `PolyFunc` combinators #5

Closed rokopt closed 2 years ago

rokopt commented 2 years ago

Fix pfProduct (it had been what pfParProduct is supposed to be)
Define pfParProduct
Define pfComposition
Define pfBaseChange