On 1/26/06, Aaron Denney [EMAIL PROTECTED] wrote:
On 2006-01-26, Dinko Tenev [EMAIL PROTECTED] wrote:
On 1/26/06, Conor McBride [EMAIL PROTECTED] wrote:
[...]
We'd do daft stuff like
(200 * _ ^ 2) unitsquare
Yes, I played with a concept like that at one point, and came to the
On 1/26/06, John Hughes [EMAIL PROTECTED] wrote:
I'd be against this--its semantics isn't clear enough to me. For example,
I usually assume id e = e, for any e, but
id (f _ x) y = id (\y-f y x) y = f y x
/=
f _ x y = \z - f z x y
Or would (f _ x) y and f _ x y maybe be
