A compiler for the monadic translation from Haskell to Coq using the free monad.

Project badge
Name
Last commit
Last update
base Loading commit data...
doc Loading commit data...
example Loading commit data...
src Loading commit data...
tool Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
cabal.project Loading commit data...
haskellToCoqCompiler.cabal Loading commit data...