add cartesian monoidal structures

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

Closed eparejatobes closed 8 years ago

eparejatobes commented 8 years ago

Did most of it already, waiting for #1 to be merged

eparejatobes commented 8 years ago

done, already in master