projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb5ad91) | patch
fix bug in flattener, make extensionality axiom explicit
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 15 May 2011 06:53:57 +0000 (23:53 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 15 May 2011 06:53:57 +0000 (23:53 -0700)
commit0b9a69401fe83a03079cdb785f86f5ff0a158367
treeaf078b3c37b1eb8f9106290bc8daaea2e87c6cbbtree | snapshot
parentbb5ad91dc2d9cf1e35895e293b4e3e1478b4af00commit | diff
fix bug in flattener, make extensionality axiom explicit
src/HaskFlattener.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC