[Haskell-cafe] Re: mathematical notation and functional programming

30 Jan 2005


      On 2005-01-29, Stefan Monnier  wrote:
...
...
a < b < c
   which is a short-cut of a < b \land b < c
The confusion between f(x) and ?x.f(x) is indeed a real bummer.
OTOH I like the a
Of course, it _is_ defined on Bools in Haskell, with True > False.
But see Martin's answer.

-- 
Aaron Denney
-><-