2011-03-07 | Adam Megacz | add HaskWeakToCore | blob | commitdiff |
2011-03-07 | Adam Megacz | Added WeakVar, a separate variable representation for... | blob | commitdiff | diff to current |
2011-03-07 | Adam Megacz | added HaskCoreToWeak | blob | commitdiff | diff to current |
2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code | blob | commitdiff | diff to current |