Name		Name	Last commit message	Last commit date
parent directory ..
contracts-haskell		contracts-haskell
Extraction.v		Extraction.v
Makefile		Makefile
README.md		README.md

README.md

Code extraction

Run make to build Haskell extracted code