[Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.
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