con-kitty / categorifierLinks

Interpret Haskell programs into any cartesian closed category.
63Updated 2 months ago

Alternatives and similar repositories for categorifier

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

Sorting: