projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc93ead) | patch
fix bugs in Unify.hs, store unifiers in fully-resolved form
authorAdam Megacz <megacz@cs.berkeley.edu>
Sat, 4 Jun 2011 01:16:48 +0000 (18:16 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sat, 4 Jun 2011 01:16:48 +0000 (18:16 -0700)
commit12384b2baca49dfe1151c3a6479a8d7b08d470e4
treea0054359d2567c80b5c7f654b2a1d8478faeb87atree | snapshot
parentbc93ead06902db52dfcc229084a42152d4166bdfcommit | diff
fix bugs in Unify.hs, store unifiers in fully-resolved form
examples/Unify.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC