Category Theory Library for Agda #1 Post by presheaf » Wed, Nov 30, 2022, 8:09 PM UTC Category Theory Library for Agdagithub.com