HaskFlattener: use pga_kappa a bit more, but not everywhere yet
[coq-hetmet.git] / examples / Unify.hs
2011-06-04 Adam MegaczUnify.hs: propagate errors through the unifier
2011-06-04 Adam Megaczfix bugs in Unify.hs, store unifiers in fully-resolved...
2011-05-16 Adam MegaczUnify.hs: commenting fix
2011-04-24 Adam Megaczadd Unify.hs to examples