Closed eparejatobes closed 7 years ago
In a lot of cases one is going to work with Scala as a category, the natural product and coproduct monoidal structures, etc; basically what could be called the standard library part. I vote for putting all this in a separate repository.
Scala
I think it shouldn't. Creating a new repo for it.
I'm merging this. Stable enough.
In a lot of cases one is going to work with
Scala
as a category, the natural product and coproduct monoidal structures, etc; basically what could be called the standard library part. I vote for putting all this in a separate repository.