search

agda / agda-categories

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

Use definitions from stdlib #411

Closed Reijix closed 5 months ago

Reijix commented 5 months ago

The stdlib now has these definitions so I added them.