2011-03-26 | Adam Megacz | temporarily comment out | blob | commitdiff |
2011-03-26 | Adam Megacz | more bugfixes | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | re-arrange NaturalDeduction | 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 |