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.
+3
user1604015
source
to share
No one has answered this question yet
Check out similar questions:
703
6
4
4
3
3
3
2
0
0