projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 4 Apr 2011 02:53:27 +0000 (02:53 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 4 Apr 2011 02:53:27 +0000 (02:53 +0000) | ||
| commit | c3b1fb9622a65ad01e54b6e35785cee672d25bdc | |
| tree | 6c0244c437c0338ac4f7f1d7d27bd11752913f1c | tree | snapshot |
| parent | 6133ffc255c4cfadf93378b93ddd43adf0787120 | commit | diff |
| src/Enrichments.v | [new file with mode: 0644] | blob |
| src/ExtractionMain.v | diff | blob | history | |
| src/HaskProofFlattener.v | diff | blob | history | |
| src/NaturalDeduction.v | diff | blob | history | |
| src/NaturalDeductionCategory.v | diff | blob | history | |
| src/ProgrammingLanguage.v | diff | blob | history | |
| src/ProgrammingLanguageArrow.v | diff | blob | history | |
| src/ProgrammingLanguageFlattening.v | diff | blob | history | |
| src/Reification.v | diff | blob | history | |
| src/categories | diff | blob | history |