author | Adam Megacz <megacz@cs.berkeley.edu> | |
Tue, 22 Mar 2011 01:26:58 +0000 (18:26 -0700) | ||
committer | Adam Megacz <megacz@cs.berkeley.edu> | |
Tue, 22 Mar 2011 01:26:58 +0000 (18:26 -0700) | ||
commit | 85e4f0fd6b0673c1cc763eeb2585b7dc3d388455 | |
tree | bda5a9d595c8c7099f43a377f84b6a4adfcb162d | tree | snapshot |
parent | 70939a4eb9560ceeea3e9cf176ac5a36f9201ac4 | commit | diff |
src/HaskProofCategory.v | diff | blob | history | |
src/HaskStrongCategory.v | diff | blob | history | |
src/NaturalDeduction.v | diff | blob | history | |
src/NaturalDeductionCategory.v | diff | blob | history | |
src/ProgrammingLanguage.v | [new file with mode: 0644] | blob |
src/ReificationsEquivalentToGeneralizedArrows.v | diff | blob | history |