Luke Gorrie luke@REDACTED
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 mailing list