http://ilya-portnov.livejournal.com/ ([identity profile] ilya-portnov.livejournal.com) wrote in [personal profile] deniok 2008-02-12 06:35 am (UTC)

Гм.
s' id = (\f x y.f (const y) x) id = \x y.id (const y) x = \x y.const y x = \x y.y;
(s' id) s = (\x.(\y.y)) s = \y.y
Где ошибка?

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting