A tarpit in Coq
Coq Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
CoqUp.v
Example.hs
README.markdown

README.markdown

A word to the wise: use my fork of Coq to avoid annoying syntax errors in extraction. Not strictly necessary (you can fix the errors manually or with a script without much trouble), but quite a bit less vexing.