2011-04-10 | Adam Megacz | fill in lots of missing proofs | commit | commitdiff |
2011-04-10 | Adam Megacz | update to new coq-categories, base ND_Relation on inert... | commit | commitdiff |
2011-03-29 | Adam Megacz | lots of cleanup | commit | commitdiff |
2011-03-27 | Adam Megacz | almost finished with main theorem | commit | commitdiff |
2011-03-27 | Adam Megacz | checkpoint | commit | commitdiff |
2011-03-27 | Adam Megacz | use WeakFunctorCategory to prove GArrow/Reification... | commit | commitdiff |
2011-03-26 | Adam Megacz | fix {Reification,GeneralizedArrow}Category | commit | commitdiff |
2011-03-26 | Adam Megacz | re-arrange NaturalDeduction | commit | commitdiff |
2011-03-21 | Adam Megacz | add HaskXXXXCategory, generalized arrows, and reifications | commit | commitdiff |