8 May
2006
8 May
'06
2:16 p.m.
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/