[Haskell] ANNOUNCE: SparseCheck

[Matthew Naylor]

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.