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

4 Apr 2013


      Tom Ellis  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

Johannes Waldmann