guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck.


From: Leo Prikler
Subject: [bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck.
Date: Wed, 10 Mar 2021 11:00:09 +0100
User-agent: Evolution 3.34.2

This package seems fine to add on its own.
W.r.t. the description I'd avoid overusing the word "library".  In
particular, I'd like to compare it to ghc-quickcheck, which starts with
"QuickCheck is a library".
Perhaps something among the lines of 
  "Guile-Quickcheck is a library for random testing of program
properties inspired similar to ghc-quickcheck.  You can use it to
express properties, which functions should satisfy, as Scheme code and
then check whether they hold in a large number of randomly generated
cases."
would make more sense?

Regards,
Leo






reply via email to

[Prev in Thread] Current Thread [Next in Thread]