15 Dec
2005
15 Dec
'05
7:04 p.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.