Add support for categorifying `Natural`

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

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

57 stars 2 forks source link

Closed sellout closed 7 months ago

sellout commented 8 months ago

Fixes #99.

sellout commented 7 months ago

This has been superseded by #102. #99 is not fixed with that PR either, but it’s more complete than this one was.