include Data.Distribute.distribute

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

BSD 3-Clause "New" or "Revised" License

57 stars 2 forks source link

Open martyall opened 7 months ago

martyall commented 7 months ago

I would like to use DistributiveCat to rewrite expressions involving Data.Distribute.distribute