[ Source: haskell-lazysmallcheck ]
Package: libghc-lazysmallcheck-dev (0.6-15)
Links for libghc-lazysmallcheck-dev
Debian Resources:
Download Source Package haskell-lazysmallcheck:
- [haskell-lazysmallcheck_0.6-15.dsc]
- [haskell-lazysmallcheck_0.6.orig.tar.gz]
- [haskell-lazysmallcheck_0.6-15.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cs.york.ac.uk]
Similar packages:
libreria per test di programmi Haskell eseguiti su richiesta
Lazy SmallCheck è una libreria per test esaustivi di programmi Haskell eseguiti su richiesta. È basata sul concetto che se una proprietà è valida per un input parzialmente definito, allora deve anche essere valida per tutti i raffinamenti completamente definiti di tale input. In confronto a generazioni di input "più avide" come SmallCheck, Lazy SmallCheck può richiedere un numero di casi di test significativamente inferiore per verificare una proprietà per tutti gli input fino ad una data profondità.
Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.
Other Packages Related to libghc-lazysmallcheck-dev
|
|
|
|
-
- dep: libc6 (>= 2.4)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libghc-base-dev-4.18.2.1-3be9b
- virtual package provided by ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- libreria aritmetica a precisione multipla
Download libghc-lazysmallcheck-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| armel | 75.0 kB | 595.0 kB | [list of files] |