[Haskell-cafe] Predicate Library?

Tim Newsham newsham at lava.net
Mon May 8 14:16:12 EDT 2006


> 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/


More information about the Haskell-Cafe mailing list