con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

Geek Repo

Github PK Tool