From: Matthew Naylor <mfn-haskell <at> cs.york.ac.uk>
Subject: ANNOUNCE: SparseCheck
Newsgroups: gmane.comp.lang.haskell.general
Date: 2007-09-18 16:27:28 GMT (34 weeks, 2 days, 11 hours and 7 minutes ago)

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.