free strict symmetric monoidal category#21
Open
marcosh wants to merge 27 commits intomasterfrom free-marcosh
+510-6
Commits
Commits on Jun 11, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
