projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6342fb) | patch
separate HaskProofStratified into PCF.v, HaskProgrammingLanguage.v, and HaskFlattener...
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 3 May 2011 07:01:21 +0000 (00:01 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 3 May 2011 07:01:21 +0000 (00:01 -0700)
commit94ad996f571e3c9fd622bc56d9b57118a7e5333a
tree42aa109c8ec68d414b2785a517f2e7afae1551ectree | snapshot
parentd6342fb07462cc126df948459ce98ea9caadb95ccommit | diff
separate HaskProofStratified into PCF.v, HaskProgrammingLanguage.v, and HaskFlattener.v, major improvements to flattening algorithm
src/All.v diff | blob | history
src/HaskFlattener.v diff | blob | history
src/HaskProgrammingLanguage.v diff | blob | history
src/HaskProofFlattener.v [deleted file] blob | history
src/HaskProofStratified.v [deleted file] blob | history
src/PCF.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC