Thu Nov 20 00:51:22 CET 2003
Hal Snyder <hal@REDACTED> writes:
> I want to try QuickCheck, the system for stating and testing program
> properties presented by John Hughes.
I imported QuickCheck into the Jungerl from here:
The online version seems a bit older than the one presented, it
doesn't handle recursively defined generators (as the 'sets' one
is). I'll steal the latest code for Jungerl when John gets a chance to
put it online, and until then there's a simpler example in there.
P.S., cool demo with the phones :-)
More information about the erlang-questions