16 Dec
2005
16 Dec
'05
12:04 a.m.
joelr1:
Folks,
I'm collecting examples of QuickCheck arbitrary/co-arbitrary definitions, the more complex the better. Please point me to any or send them if you are willing to!
Also, is there a cood explanation of co-arbitrary someplace?
Check the QuickCheck paper for the definition and motiviation of coarbitrary.