projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e796389) | patch
clean up hints for NaturalDeduction, split ProgrammingLanguage into multiple files
authorAdam Megacz <megacz@cs.berkeley.edu>
Sat, 30 Apr 2011 04:47:25 +0000 (21:47 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sat, 30 Apr 2011 04:47:25 +0000 (21:47 -0700)
commit034f7e7856bebbbcb3c83946aa603c640b17f3bb
tree280e49198bb60c33bcd7fe03e97728295f976a5btree | snapshot
parente7963896b900c33b7eda38044c14601eebe2e7fecommit | diff
clean up hints for NaturalDeduction, split ProgrammingLanguage into multiple files
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/ProgrammingLanguageCategory.v [new file with mode: 0644] blob
src/ProgrammingLanguageEnrichment.v [new file with mode: 0644] blob
src/ProgrammingLanguageFlattening.v diff | blob | history
src/ProgrammingLanguageGeneralizedArrow.v diff | blob | history
src/ProgrammingLanguageReification.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC