Agda Category Library Reference?

I'm trying to understand the category library, but I'm pretty new to Agda, so I'm looking for some kind of document explaining the choices that were made in the library's implementation. There is a link to such a thing in the readme, but it is broken.


source to share

All Articles