libghc-lazysmallcheck-doc binary package in Ubuntu Mantic armhf
Lazy SmallCheck is a library for exhaustive, demand-driven testing of
Haskell programs. It is based on the idea that if a property holds
for a partially-defined input then it must also hold for all
fully-defined refinements of the that input. Compared to ``eager''
input generation as in SmallCheck, Lazy SmallCheck may require
significantly fewer test-cases to verify a property for all inputs up
to a given depth.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-04-25 12:10:09 UTC | Published | Ubuntu Mantic armhf | release | universe | doc | Extra | 0.6-13build3 | ||
|