The ivory-quickcheck package

[Tags: bsd3, library]

Warning! This module is experimental and its implementation may change dramatically.

Properties

Version0.1.0.0
Change logNone available
Dependenciesbase (==4.6.*), ivory, monadLib, QuickCheck (==2.6), random [details]
LicenseBSD3
Copyright2013 Galois, Inc.
AuthorGalois, Inc.
Maintainerleepike@galois.com
CategoryTesting
Home pagehttp://smaccmpilot.org/languages/ivory-introduction.html
Source repositorythis: git clone https://github.com/GaloisInc/ivory(tag hackage-qc-0100)
UploadedWed Mar 26 02:59:32 UTC 2014 by LeePike
DistributionsNixOS:0.1.0.0
Downloads213 total (8 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees