search

ohnosequences / stuff

Useful stuff.
GNU Affero General Public License v3.0
1 stars 0 forks source link

(symmetric) monoidal categories #31

Closed eparejatobes closed 7 years ago

eparejatobes commented 7 years ago

The basics are already here. LGTM.