con-kitty / categorifier

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

Modernizing flake #98

Closed sellout closed 8 months ago

sellout commented 9 months ago

This takes a few steps to get Categorifer on an up-to-date Nix build against the current version of concat, etc. It is also more broadly tested, and should be easier to keep current going forward.