[Haskell] ANNOUNCE: SparseCheck
mfn-haskell at cs.york.ac.uk
Tue Sep 18 12:27:28 EDT 2007
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.
SparseCheck is a based on a library called LP (to be presented at the
Haskell Workshop) that was developed jointly with Emil Axelsson.
More information about the Haskell