projects / coq-hetmet.git / history
| 2011-03-29 | Adam Megacz | HaskProofCategory: more work | blob | commitdiff |
| 2011-03-28 | Adam Megacz | replace UJudg with Arrange | blob | commitdiff | diff to current |
| 2011-03-28 | Adam Megacz | checkpoint | blob | commitdiff | diff to current |
| 2011-03-28 | Adam Megacz | checkpoint | blob | commitdiff | diff to current |
| 2011-03-28 | Adam Megacz | HaskProofCategory: implement more | blob | commitdiff | diff to current |
| 2011-03-26 | Adam Megacz | improvements to ProgrammingLanguage | blob | commitdiff | diff to current |
| 2011-03-25 | Adam Megacz | HaskProofCategory: add commented-out-code | blob | commitdiff | diff to current |
| 2011-03-22 | Adam Megacz | proofs that Types/Judgments form an enrichment | blob | commitdiff | diff to current |
| 2011-03-21 | Adam Megacz | add HaskXXXXCategory, generalized arrows, and reifications | blob | commitdiff | diff to current |