con-kitty / categorifierLinks

Interpret Haskell programs into any cartesian closed category.
61Updated 2 weeks ago

Alternatives and similar repositories for categorifier

Users that are interested in categorifier are comparing it to the libraries listed below

Sorting: