2011-04-04 | Adam Megacz | update to account for coq-categories changes | blob | commitdiff |
2011-03-29 | Adam Megacz | lots of cleanup | blob | commitdiff | diff to current |
2011-03-27 | Adam Megacz | checkpoint | blob | commitdiff | diff to current |
2011-03-21 | Adam Megacz | add HaskXXXXCategory, generalized arrows, and reifications | blob | commitdiff | diff to current |