Pakiet: libghc-lazysmallcheck-doc (0.6-12)

Odnośniki dla libghc-lazysmallcheck-doc

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-lazysmallcheck:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cs.york.ac.uk]

Podobne pakiety:

A library for demand-driven testing of Haskell programs; documentation

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://www.haskell.org/ for more information on Haskell.

Inne pakiety związane z libghc-lazysmallcheck-doc

wymaga

poleca

sugeruje

enhances

dep: haddock-interface-35

pakiet wirtualny udostępniany przez ghc

rec: libjs-mathjax

JavaScript display engine for LaTeX and MathML

Pobieranie libghc-lazysmallcheck-doc

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	48,6 KiB	369,0 KiB	[lista plików]