issues
search
ohnosequences
/
stuff
Useful stuff.
GNU Affero General Public License v3.0
1
stars
0
forks
source link
(co)Lax monoidal functors
#51
Open
eparejatobes
opened
7 years ago
eparejatobes
commented
7 years ago
[ ] definitions
[ ] composition (if easy/possible)
[ ] syntax