search

ohnosequences / stuff

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

add symmetric structures for (co)cartesian monoidal categories #74

Closed eparejatobes closed 6 years ago

eparejatobes commented 6 years ago

done! LGTM