Github repository for compositional category theory reading group
Primary LanguageOCaml
No issues in this repository yet.