FreeProving / free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad
45Updated 2 years ago

Related projects

Alternatives and complementary repositories for free-compiler