18 Apr
2010
18 Apr
'10
2:27 p.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