Distributive categories - Githubissues

ohnosequences / stuff

Useful stuff.

GNU Affero General Public License v3.0

1 stars 0 forks source link

Distributive categories #65

Closed eparejatobes closed 6 years ago

eparejatobes commented 7 years ago

[x] type definition
[x] syntax
[x] implementation for Scala

eparejatobes commented 6 years ago

Trying to get rid of the Cat type member.