This repository is a testing grounds for use of Conal Elliott's ConCat library. The only useful thing it provides so far is a reification of categorical terms into an AST, for purposes of runtime analysis of such structures.
jwiegley / categorical Goto Github PK
View Code? Open in Web Editor NEWCompiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
License: MIT License