The sparsecheck package

[Tags: bsd3, library]

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


Properties

Versions0.1, 0.1.0.1, 0.1.0.2, 0.1.0.3
Dependenciesbase (<5), containers
LicenseBSD3
Copyright2007, Matthew Naylor
AuthorMatthew Naylor
Maintainermfn@cs.york.ac.uk
CategoryDevelopment
Home pagehttp://www.cs.york.ac.uk/~mfn/sparsecheck/
Upload dateMon Dec 12 16:38:37 UTC 2011
Uploaded byKidoTakahiro
Downloads237 total (17 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees