[Haskell-cafe] Predicate Library?
ndmitchell at gmail.com
Mon May 8 14:25:32 EDT 2006
> Is this what you're looking for?
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
More information about the Haskell-Cafe