GitHub - RafaelBocquet/haskell-extraction: TODO

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
src		src
test-suite		test-suite
theories		theories
.gitignore		.gitignore
Makefile		Makefile
OUT.hs		OUT.hs
README		README
_CoqProject		_CoqProject

Repository files navigation

TODO

LICENSE ?

Current output from test-suite/Test.v may be in OUT.hs

Relevant links :
 - https://github.com/coq/coq/tree/trunk/plugins/extraction
 - https://github.com/goldfirere/ghc