The sparsecheck package (version 0.1)
SparseCheck is a library for logic programming in Haskell that allows convenient description of test-data generators.
| Dependencies | base, haskell98 |
|---|---|
| License | BSD3 |
| Copyright | 2007, Matthew Naylor |
| Author | Matthew Naylor |
| Maintainer | mfn@cs.york.ac.uk |
| Category | Development |
| Home page | http://www.cs.york.ac.uk/~mfn/sparsecheck/ |
| Exposed modules | SparseCheck |
| Upload date | Tue Sep 18 07:18:25 PDT 2007 |
| Uploaded by | MatthewNaylor |
| Build failure | ghc-6.8 (log) |
Downloads
- sparsecheck-0.1.tar.gz (Cabal source package)
- package description (included in the package)