Closed HiPhish closed 1 year ago
I used (require quickcheck), but none of the random number generation routines documented in the user manual (like make-random-generator or random-integer) are being provided. This makes it impossible to write custom generators.
(require quickcheck)
make-random-generator
random-integer
Could you send a pull request in order to fix this? thx
I used
(require quickcheck)
, but none of the random number generation routines documented in the user manual (likemake-random-generator
orrandom-integer
) are being provided. This makes it impossible to write custom generators.