con-kitty / categorifierLinks

Interpret Haskell programs into any cartesian closed category.
63Updated last week

Alternatives and similar repositories for categorifier

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

Sorting: