/cct-reading-group

Github repository for compositional category theory reading group

Primary LanguageOCaml

Stargazers