search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
362 stars 68 forks source link

Add uncurry and composition with curry #364

Closed iwilare closed 1 year ago

iwilare commented 1 year ago

Define uncurry and provide the isomorphism that shows Cat is cartesian closed.