| 2011-05-14 |
Adam Megacz | add split_list to General.v |
blob | commitdiff |
| 2011-05-14 |
Adam Megacz | add ToString instance for lists |
blob | commitdiff | diff to current |
| 2011-05-13 |
Adam Megacz | add EqDecidable instances for option and Tree |
blob | commitdiff | diff to current |
| 2011-05-09 |
Adam Megacz | move general-purpose routines from HaskFlattener to... |
blob | commitdiff | diff to current |
| 2011-03-27 |
Adam Megacz | get rid of vec_{fst,snd} axioms |
blob | commitdiff | diff to current |
| 2011-03-26 |
Adam Megacz | change fst_zip/snd_zip to axioms |
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 class, move machinery to General.v |
blob | commitdiff | diff to current |
| 2011-03-21 |
Adam Megacz | add distinctT, InT to General |
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 | remove vec2list_injective |
blob | commitdiff | diff to current |
| 2011-03-20 |
Adam Megacz | get rid of a bunch of admits in HaskStrongToProof |
blob | commitdiff | diff to current |
| 2011-03-20 |
Adam Megacz | add mapOptionTree_extensional, leaves_unleaves, mapleaves |
blob | commitdiff | diff to current |
| 2011-03-20 |
Adam Megacz | add distinct_decidable, in_decidable to General.v |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | improve HaskProofToStrong, although its messier now |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | add mapleaves to General.v |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | add UniqMonad |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | add itmap and itree_to_tree |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | add treeToString method to General |
blob | commitdiff | diff to current |
| 2011-03-19 |
Adam Megacz | move Prelude_error to General.v |
blob | commitdiff | diff to current |
| 2011-03-16 |
Adam Megacz | add crude Monad type class |
blob | commitdiff | diff to current |
| 2011-03-14 |
Adam Megacz | General.addErrorMessage, orErrorBindWithMessage |
blob | commitdiff | diff to current |
| 2011-03-14 |
Adam Megacz | move eol:string to General.v |
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 | Added WeakVar, a separate variable representation for... |
blob | commitdiff | diff to current |
| 2011-03-02 |
Adam Megacz | Initial checkin of Coq-in-GHC code |
blob | commitdiff | diff to current |
|
projects / coq-hetmet.git / history