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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
