euc2003

[Luke Gorrie]

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:
  http://www.math.chalmers.se/~rjmh/ErlangQC/

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 :-)

-Luke