[Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Thu Apr 4 15:15:27 CEST 2013

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

More information about the Haskell-Cafe mailing list