[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] ANNOUNCE: SparseCheck
From:       Matthew Naylor <mfn-haskell () cs ! york ! ac ! uk>
Date:       2007-09-18 16:27:28
Message-ID: 20070918162728.GA17725 () pc149 ! cs ! york ! ac ! uk
[Download RAW message or body]

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.

[prev in list] [next in list] [prev in thread] [next in thread]