H
haskell-to-coq-compiler
A compiler for the monadic translation from Haskell to Coq using the free monad.
-
Justin Andresen authoreddd127542
| Name |
Last commit
|
Last update |
|---|---|---|
| base | ||
| doc | ||
| example | ||
| src | ||
| tool | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| LICENSE | ||
| README.md | ||
| Setup.hs | ||
| cabal.project | ||
| haskellToCoqCompiler.cabal |