[Haskell] ANNOUNCE: SparseCheck

Matthew Naylor mfn-haskell at cs.york.ac.uk
Tue Sep 18 12:27:28 EDT 2007

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.


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 mailing list