haskell-smallcheck 1.2.1-ok1 source package in openKylin
Changelog
haskell-smallcheck (1.2.1-ok1) yangtze; urgency=low * Initial release. -- Luoyaoming <email address hidden> Wed, 09 Nov 2022 13:47:35 +0800
haskell-smallcheck (1.2.1-ok1) yangtze; urgency=low * Initial release. -- Luoyaoming <email address hidden> Wed, 09 Nov 2022 13:47:35 +0800
Series | Published | Component | Section | |
---|---|---|---|---|
Yangtze V1.0 | release | main | haskell | |
Yangtze V1.0 | proposed | main | haskell |
File | Size | SHA-256 Checksum |
---|---|---|
haskell-smallcheck_1.2.1.orig.tar.gz | 18.5 KiB | e41f9d11b50e0526dd28c9bc6cf6dddf98cebd782911a00c3e5cbe4ce53fc869 |
haskell-smallcheck_1.2.1-ok1.debian.tar.xz | 2.9 KiB | 58258ce522a2a7fc5b85f085c5c4b358db8b9ba50fbc67e86789c24e96f0ce5c |
haskell-smallcheck_1.2.1-ok1.dsc | 2.2 KiB | 85ef399193316f83699662a4d9ed009ce9fb4114d23f6a36498cc3c60bf275ef |
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://