Re: negate and sections

[Jeffrey R. Lewis]

Jan Skibinski wrote:

> On Thu, 1 Jun 2000, Jeffrey R. Lewis wrote:
>
> > No so, of course.  (- x) means `negate x'.  Bummer.  What an unpleasant bit of
> > asymmetry!
>
>         How about ((-) x) ?

That, regrettably, is the wrong function.  That function is \y -> x - y.  I wanted
\y -> y - x.

--Jeff