search

ohnosequences / stuff

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

Syntax for monoidal categories #78

Closed eparejatobes closed 6 years ago