[Haskell-cafe] Predicate Library?

[Neil Mitchell]

Hi Tim,

> Is this what you're looking for?
> http://www.cse.ogi.edu/~hallgren/Programatica/tools/property/Plogic.html
> http://citeseer.ist.psu.edu/kieburtz02plogic.html

That looks very interesting and I'll certainly come back to that
later, but I couldn't see a predicate simplifier amongst that stuff.
It seems that a Stratego approach is used for solving the predicates,
which is a bit too heavyweight for my purpose. I am more just after a
light-weight simplifier.

Thanks

Neil