[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
- [bug#47027] Disarchive package, (continued)
- [bug#47027] Disarchive package, Timothy Sample, 2021/03/11
- [bug#47027] Disarchive package, Leo Prikler, 2021/03/12
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/12
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/21
- [bug#47027] Disarchive package, Leo Prikler, 2021/03/21
- [bug#47027] Disarchive package, Timothy Sample, 2021/03/21
- [bug#47027] Disarchive package, Maxime Devos, 2021/03/21
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/21
- bug#47027: Disarchive package, Timothy Sample, 2021/03/23
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/23
[bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck.,
Leo Prikler <=
[bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck., Maxime Devos, 2021/03/15