5 Aug
2003
5 Aug
'03
3 a.m.
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