Dear Haskellers, You might be interested in SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains.
http://www.cs.york.ac.uk/~mfn/sparsecheck/ SparseCheck is a based on a library called LP (to be presented at the Haskell Workshop) that was developed jointly with Emil Axelsson. Matthew. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell