* Jonathan Cast wrote: > On 30 Jan 2008, at 7:19 PM, Anton van Straaten wrote: > > quickCheck $ x -> cos (x + 2*pi) == cos x > Falsifiable, after 2 tests: > -1.0 > Test.QuickCheck.quickCheck $ \x -> abs (cos x - cos (x + 2*pi)) < 0.00001 OK, passed 100 tests.