Skip to content

free strict symmetric monoidal category#21

Open
marcosh wants to merge 27 commits intomasterfrom
free-marcosh
Open

free strict symmetric monoidal category#21
marcosh wants to merge 27 commits intomasterfrom
free-marcosh

Commits

Commits on Jun 11, 2019