con-kitty / categorifierLinks

Interpret Haskell programs into any cartesian closed category.
61Updated last month

Alternatives and similar repositories for categorifier

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

Sorting: