19 Apr
2010
19 Apr
'10
2:27 a.m.
If this is to be used with QuickCheck maybe it should be named that way. eg quickcheck-agatath ? This way its found faster. Marc Weber