git.megacz.com Git - coq-hetmet.git/shortlog

2011-03-07	Adam Megacz	better names for the auxiliary CaseBranch records	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	separate type/coer/expr variables in HaskWeak case...	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	store variables in ELetRecBindings rather than its...	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	add HaskWeakToCore	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	add proper proofs of the fact that every rule has exact...	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	Changed WEBrak/WEEsc to store a CoreType	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	Added WeakVar, a separate variable representation for...	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	added "publish" target to regenerate tex/pdf code	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	added HaskCoreToWeak	commit \| commitdiff \| tree \| snapshot
2011-03-07	Adam Megacz	cleaned up lots of FIXMEs in ProofToLatex	commit \| commitdiff \| tree \| snapshot
2011-03-02	Adam Megacz	Initial checkin of Coq-in-GHC code	commit \| commitdiff \| tree \| snapshot

Coq proofs and code accompanying the HetMet extensions for GHC