aboutsummaryrefslogtreecommitdiff
path: root/devel/hs-lazysmallcheck-ghc/pkg-descr
diff options
context:
space:
mode:
Diffstat (limited to 'devel/hs-lazysmallcheck-ghc/pkg-descr')
-rw-r--r--devel/hs-lazysmallcheck-ghc/pkg-descr8
1 files changed, 0 insertions, 8 deletions
diff --git a/devel/hs-lazysmallcheck-ghc/pkg-descr b/devel/hs-lazysmallcheck-ghc/pkg-descr
deleted file mode 100644
index 9ad601a05337..000000000000
--- a/devel/hs-lazysmallcheck-ghc/pkg-descr
+++ /dev/null
@@ -1,8 +0,0 @@
-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.
-
-WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/