Date sent: Thu, 01 Jun 2000 08:47:23 -0700
From: "Jeffrey R. Lewis" <[EMAIL PROTECTED]>
Organization: Galois Connections
To: Jan Skibinski <[EMAIL PROTECTED]>
Copies to: [EMAIL PROTECTED]
Subject: Re: negate and sections
> 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
>
>
Try (+ -4)
However, you could just use (\y -> y - x) itself?
Rob MacAulay
Rob MacAulay
Cambridge