projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5455f7) | patch
rewrite {take,drop}_arg_types to avoid use of equality proofs
authorAdam Megacz <megacz@cs.berkeley.edu>
Thu, 12 May 2011 05:04:51 +0000 (22:04 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Thu, 12 May 2011 05:04:51 +0000 (22:04 -0700)
commitd684a61025d30f0ae06893298f126ae0072d6922
tree285af188f1dc7aae5cf07b9411dc5c72c6f150catree | snapshot
parentc5455f79a56b00af66a980cf0469290fa9c62f96commit | diff
rewrite {take,drop}_arg_types to avoid use of equality proofs
src/HaskStrongTypes.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC