Agda category theory library for denotational design
Primary LanguageAgda
No one’s star this repository yet.