Justus Sagemüller

icon company KTH Royal Institute of Technology icon location Stockholm

Results 101 comments of Justus Sagemüller

Better names for the classes of categories

@isovector that would be [`&&&`](https://hackage.haskell.org/package/constrained-categories-0.4.2.0/docs/Control-Arrow-Constrained.html#t:PreArrow) from `PreArrow`. (Which, yes, is a bad name.) The fact that the product is hard-coded to tuples, and the sum to `Either`, which also means...