> I'm trying to manipulate predicates in Haskell, and was wondering if > there was a predicate library available that I could use? 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 > Neil Tim Newsham http://www.lava.net/~newsham/