diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-04-12 14:00:42 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-04-12 14:08:45 -0700 |
| commit | a84be333dde9f1e8ad4b70e05c534d7e9e1226f5 (patch) | |
| tree | 8dbcc9458139affc885bad238e12fae2f299d788 /gnu | |
| parent | 60738bdc59ca8b566845bd539e3bdc1beb627c5d (diff) | |
| download | patches-a84be333dde9f1e8ad4b70e05c534d7e9e1226f5.tar patches-a84be333dde9f1e8ad4b70e05c534d7e9e1226f5.tar.gz | |
gnu: ghc-smallcheck: Fix grammar of "allows to verify" to "verifies".
* gnu/packages/haskell-xyz (ghc-smallcheck): Fix grammar.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/haskell-xyz.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index d22a08e7fb..c9119efd69 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -10780,7 +10780,7 @@ provided. Skylighting is intended to be the successor to highlighting-kate.") (home-page "https://github.com/feuerbach/smallcheck") (synopsis "Property-based testing library") - (description "SmallCheck is a testing library that allows to verify + (description "SmallCheck is a testing library that verifies properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.") (license license:bsd-3))) |