projects / coq-hetmet.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coq-hetmet.git
2011-03-07 Adam MegaczMakefile updates commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczmake latex output use the preview package to set the... commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd HaskProofToStrong skeleton implementation commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd HaskStrongToWeak commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd HaskStrongToProof commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd HaskWeakToStrong commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczgive HaskWeak its own type representation, fix numerous... commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczbetter names for the auxiliary CaseBranch records commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczseparate type/coer/expr variables in HaskWeak case... commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczstore variables in ELetRecBindings rather than its... commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd HaskWeakToCore commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadd proper proofs of the fact that every rule has exact... commit | commitdiff | tree | snapshot
2011-03-07 Adam MegaczChanged WEBrak/WEEsc to store a CoreType commit | commitdiff | tree | snapshot
2011-03-07 Adam MegaczAdded WeakVar, a separate variable representation for... commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadded "publish" target to regenerate tex/pdf code commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczadded HaskCoreToWeak commit | commitdiff | tree | snapshot
2011-03-07 Adam Megaczcleaned up lots of FIXMEs in ProofToLatex commit | commitdiff | tree | snapshot
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code commit | commitdiff | tree | snapshot
Coq proofs and code accompanying the HetMet extensions for GHC