jwiegley/categorical

Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work

语言：Haskell · GitHub 星标：20 · Fork：1

在 GitHub 上查看原仓库