At 2003-08-04 18:19, Ben Rudiak-Gould wrote:
> \@x -> ((\a -> ((a,\@x -> @x) {@x = 2})) @x)
>
>If we next apply (\a -> ...) to @x, something interesting happens: we
>have to rename to avoid variable capture.
I don't see why, isn't this much the same as ordinary names?
(\a -> ((\a -> a) 1,a)) 2
((\a -> a) 1,2)
(1,2)
--
Ashley Yakeley, Seattle WA