search

agda / agda-categories

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

Improve/fix support for monoidal natural transformations. #302

Closed sstucki closed 3 years ago

sstucki commented 3 years ago

Basically just some house-keeping before an upcoming PR with new functionality.