libghc-smallcheck-dev binary package in openKylin Yangtze V1.0 rv64g
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://
Publishing history
| Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
|---|---|---|---|---|---|---|---|---|---|
| 2023-12-26 19:50:27 UTC | Published | openKylin Yangtze V1.0 rv64g | release | main | haskell | Optional | 1.2.1-ok1 | ||
|
|||||||||
