search

agda / agda-categories

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

clean up comonad morphism #424

Open 4e554c4c opened 2 weeks ago