minor cleanups, deleted dead code, eliminated use of (==) on CoreType
[coq-hetmet.git] / src / Extraction-prefix.hs
2011-03-14 Adam Megaczminor cleanups, deleted dead code, eliminated use of...
2011-03-14 Adam Megaczfix sortAlts so it actually does something
2011-03-14 Adam Megaczfirst pass at proper handling of coercions in HaskWeak
2011-03-12 Adam MegaczMake the HaskStrong type representation Kind-indexed...
2011-03-07 Adam Megaczadd HaskStrongToProof
2011-03-07 Adam MegaczChanged WEBrak/WEEsc to store a CoreType
2011-03-07 Adam MegaczAdded WeakVar, a separate variable representation for...
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code