haskell-smallcheck 1.1.5-ok1 source package in openKylin
Changelog
haskell-smallcheck (1.1.5-ok1) yangtze; urgency=medium * Build for openKylin. -- openKylinBot <email address hidden> Mon, 25 Apr 2022 22:03:04 +0800
haskell-smallcheck (1.1.5-ok1) yangtze; urgency=medium * Build for openKylin. -- openKylinBot <email address hidden> Mon, 25 Apr 2022 22:03:04 +0800
Series | Published | Component | Section |
---|
File | Size | SHA-256 Checksum |
---|---|---|
haskell-smallcheck_1.1.5.orig.tar.gz | 16.0 KiB | 9020e67895a57bde02d7df2c0af06a4c769eff56d48b6a830f6d803df891aea4 |
haskell-smallcheck_1.1.5-ok1.debian.tar.xz | 2.1 KiB | 1f526bc3799e87fc679c4df0482eb11d959db82008d5869c1e8e4cf6ef1f1e51 |
haskell-smallcheck_1.1.5-ok1.dsc | 2.1 KiB | fbb57dee4c960f1fda19f2b20ee3b49c05fa91af6e52504bdc04cdc9aab384ed |
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides a library for the Haskell programming language.
See http://
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://