jwiegley / categorical

Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
19Updated 7 years ago

Alternatives and similar repositories for categorical:

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