[ Source: haskell-lazysmallcheck ]
Package: libghc-lazysmallcheck-doc (0.6-11)
Links for libghc-lazysmallcheck-doc
Debian Resources:
Download Source Package haskell-lazysmallcheck:
- [haskell-lazysmallcheck_0.6-11.dsc]
- [haskell-lazysmallcheck_0.6.orig.tar.gz]
- [haskell-lazysmallcheck_0.6-11.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cs.york.ac.uk]
Similar packages:
libreria per test di programmi Haskell eseguiti su richiesta; documentazione
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 la documentazione per 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-doc
|
|
|
|
-
- dep: haddock-interface-33
- virtual package provided by ghc
-
- rec: ghc-doc
- documentazione per il sistema di compilazione Haskell Glasgow
-
- rec: libjs-mathjax
- motore di visualizzazione JavaScript per LaTeX e MathML
Download libghc-lazysmallcheck-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 45.4 kB | 286.0 kB | [list of files] |