Tom Ellis <tom-lists-haskell-cafe-2013 <at> jaguarpaw.co.uk> writes:
> I didn't see an example of quantifiers in the wrong place. The example was: > every x satisfies P(x,y) for some y _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe