FreeProving/free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad

语言：Haskell · GitHub 星标：44 · Fork：3

在 GitHub 上查看原仓库