coq-hetmet.git
2011-03-14 Adam Megaczfix bugs in LaTeX output
2011-03-14 Adam MegaczToString instance for HaskCore
2011-03-14 Adam MegaczGeneral.addErrorMessage, orErrorBindWithMessage
2011-03-14 Adam Megaczmove eol:string to General.v
2011-03-13 Adam Megaczrestore HaskWeakToStrong functionality that I broke...
2011-03-13 Adam MegaczRemove unnecessary coreVar_eq_refl axiom
2011-03-13 Adam MegaczRename Extraction.fail to Extraction.Prelude_error
2011-03-13 Adam MegaczEliminate the need for WeakVar decidable equality axiom
2011-03-12 Adam Megaczupdate push-url in Makefile
2011-03-12 Adam MegaczMake the HaskStrong type representation Kind-indexed...
2011-03-09 Adam Megaczmore Makefile updates
2011-03-07 Adam MegaczMakefile updates
2011-03-07 Adam Megaczmake latex output use the preview package to set the...
2011-03-07 Adam Megaczadd HaskProofToStrong skeleton implementation
2011-03-07 Adam Megaczadd HaskStrongToWeak
2011-03-07 Adam Megaczadd HaskStrongToProof
2011-03-07 Adam Megaczadd HaskWeakToStrong
2011-03-07 Adam Megaczgive HaskWeak its own type representation, fix numerous...
2011-03-07 Adam Megaczbetter names for the auxiliary CaseBranch records
2011-03-07 Adam Megaczseparate type/coer/expr variables in HaskWeak case...
2011-03-07 Adam Megaczstore variables in ELetRecBindings rather than its...
2011-03-07 Adam Megaczadd HaskWeakToCore
2011-03-07 Adam Megaczadd proper proofs of the fact that every rule has exact...
2011-03-07 Adam MegaczChanged WEBrak/WEEsc to store a CoreType
2011-03-07 Adam MegaczAdded WeakVar, a separate variable representation for...
2011-03-07 Adam Megaczadded "publish" target to regenerate tex/pdf code
2011-03-07 Adam Megaczadded HaskCoreToWeak
2011-03-07 Adam Megaczcleaned up lots of FIXMEs in ProofToLatex
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code