con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Enable linear type support #86

Closed sellout closed 8 months ago

sellout commented 1 year ago

This has been in the repo for months, but had to be disabled in the build until Cabal 3.8 was available.

sellout commented 8 months ago

Replaced by #100.