Fix error in type for bimap

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Other

10.94k stars 587 forks source link

Closed pspencil closed 3 years ago

pspencil commented 3 years ago

The t I added actually stands for BiCompBiFunctor.t but technically bimap is defined inside the module so I omitted the module name.

hmemcpy commented 3 years ago

Sorry for neglecting this PR :) Thank you!