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, haskell98
LicenseBSD3
Copyright2007, Matthew Naylor
AuthorMatthew Naylor
Maintainermfn@cs.york.ac.uk
CategoryDevelopment
Home pagehttp://www.cs.york.ac.uk/~mfn/sparsecheck/
Upload dateTue Sep 18 14:18:25 UTC 2007
Uploaded byMatthewNaylor
Downloads256 total (24 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees