2011-03-07 | Adam Megacz | add HaskWeakToCore | tree | commitdiff |
2011-03-07 | Adam Megacz | add proper proofs of the fact that every rule has exact... | tree | commitdiff |
2011-03-07 | Adam Megacz | Changed WEBrak/WEEsc to store a CoreType | tree | commitdiff |
2011-03-07 | Adam Megacz | Added WeakVar, a separate variable representation for... | tree | commitdiff |
2011-03-07 | Adam Megacz | added HaskCoreToWeak | tree | commitdiff |
2011-03-07 | Adam Megacz | cleaned up lots of FIXMEs in ProofToLatex | tree | commitdiff |
2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code | tree | commitdiff |