Agda category theory library for denotational design
Primary LanguageAgda
No issues in this repository yet.