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

2011-05-09	Adam Megacz	split HaskLiteralsAndTyCons into two files	blob \| commitdiff
2011-05-09	Adam Megacz	allow rank-1 polymorphic types for globals	blob \| commitdiff \| diff to current
2011-04-27	Adam Megacz	prove all [admit]ted lemmas in HaskStrongToProof (not...	blob \| commitdiff \| diff to current
2011-03-29	Adam Megacz	lots of cleanup	blob \| commitdiff \| diff to current
2011-03-25	Adam Megacz	add Concatenable, LatexMath, and fix HaskProofToLatex	blob \| commitdiff \| diff to current
2011-03-25	Adam Megacz	add ToLatex instance parameter to HaskStrong	blob \| commitdiff \| diff to current
2011-03-21	Adam Megacz	make StrongAlt a parameter rather than field in StrongC...	blob \| commitdiff \| diff to current
2011-03-20	Adam Megacz	require all branches of LetRec be at the same level...	blob \| commitdiff \| diff to current
2011-03-19	Adam Megacz	add ToString instance for HaskStrong	blob \| commitdiff \| diff to current
2011-03-16	Adam Megacz	add EGlobal/RGlobal for CoreVars whose binder we cannot see	blob \| commitdiff \| diff to current
2011-03-15	Adam Megacz	reshuffle definitions in an attempt to iron out inter...	blob \| commitdiff \| diff to current
2011-03-13	Adam Megacz	restore HaskWeakToStrong functionality that I broke...	blob \| commitdiff \| diff to current
2011-03-12	Adam Megacz	Make the HaskStrong type representation Kind-indexed...	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	give HaskWeak its own type representation, fix numerous...	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	better names for the auxiliary CaseBranch records	blob \| commitdiff \| diff to current
2011-03-07	Adam Megacz	store variables in ELetRecBindings rather than its...	blob \| commitdiff \| diff to current
2011-03-02	Adam Megacz	Initial checkin of Coq-in-GHC code	blob \| commitdiff \| diff to current

Coq proofs and code accompanying the HetMet extensions for GHC

RSS Atom