agda/agda-categories

A new Categories library for Agda

3 best points · 0 comments · 1 Hacker News post · 412 GitHub stars · View on GitHub

Hacker News discussions

• Category Theory Library for Agda (3 points, 0 comments, by presheaf, 2022-11-30)