author | Adam Megacz <megacz@cs.berkeley.edu> | |
Mon, 21 Mar 2011 01:57:32 +0000 (18:57 -0700) | ||
committer | Adam Megacz <megacz@cs.berkeley.edu> | |
Mon, 21 Mar 2011 01:57:32 +0000 (18:57 -0700) | ||
commit | 76f4613eaa5989e29bfd59d716c216ee5386c5f7 | |
tree | f4cde5283f136d38d4564ca959b23e1f0b67b4d6 | tree | snapshot |
parent | 8dc348a407d7a476388401765b24f7815cc801cf | commit | diff |
src/Extraction.v | diff | blob | history | |
src/GeneralizedArrow.v | [new file with mode: 0644] | blob |
src/GeneralizedArrowCategory.v | [new file with mode: 0644] | blob |
src/GeneralizedArrowFromReification.v | [new file with mode: 0644] | blob |
src/HaskProofCategory.v | [new file with mode: 0644] | blob |
src/HaskStrongCategory.v | [new file with mode: 0644] | blob |
src/NaturalDeductionCategory.v | [new file with mode: 0644] | blob |
src/Reification.v | [new file with mode: 0644] | blob |
src/ReificationCategory.v | [new file with mode: 0644] | blob |
src/ReificationFromGeneralizedArrow.v | [new file with mode: 0644] | blob |
src/ReificationsEquivalentToGeneralizedArrows.v | [new file with mode: 0644] | blob |