The sparsecheck package

[Tags:bsd3, library]

SparseCheck is a library for logic programming in Haskell that allows convenient description of test-data generators.

Properties

Versions 0.1, 0.1.0.1, 0.1.0.2, 0.1.0.3
Dependencies None [details]
License BSD3
Copyright 2007, Matthew Naylor
Author Matthew Naylor
Maintainer mfn@cs.york.ac.uk
Stability Unknown
Category Development
Home page http://www.cs.york.ac.uk/~mfn/sparsecheck/
Uploaded Mon Dec 12 16:29:45 UTC 2011 by KidoTakahiro
Distributions NixOS:0.1.0.3
Downloads 753 total (17 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-25 [all 5 reports]

Modules

  • SparseCheck

Downloads

Maintainer's Corner

For package maintainers and hackage trustees