8 May
2007
8 May
'07
6:21 a.m.
On May 8, 2007, at 9:33 , Joel Reymont wrote:
Would someone kindly explain why we need co-arbitrary in QuickCheck and how to define it?
Detailed examples would be awesome!
I would be willing to paste an in-depth explanation on my wall and keep it forever.
Thanks in advance, Joel
Maybe this can help: http://www.cs.chalmers.se/~rjmh/QuickCheck/ manual_body.html#18 /Björn