projects / coq-hetmet.git / commit
| 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 |