/cct-reading-group

Github repository for compositional category theory reading group

Primary LanguageOCaml

No issues in this repository yet.