28 May
2006
28 May
'06
8:47 p.m.
On Sunday 28 May 2006 04:17 pm, Lennart Augustsson wrote:
> Why not ask the computer?
>
> -- Lennart
[snip]
Another proof-by-calculation:
-----------------------------------------------------------
The Lambda Shell, version 0.2
Copyright 2005-2006, Robert Dockins
The Lambda Shell comes with ABSOLUTELY NO WARRANTY; for details
type ':nowarranty'. This is free software, and you are welcome to
redistribute it under certain conditions; type ':gpl'
for details
> let c = \f g x. f (g x)
> c c c
\x g x_0 x_1. x (g x_0 x_1)
> :trace
trace on
> c c c
1) c c c
2) (\f g x. f (g x)) c c
3) (\g x. c (g x)) c
4) \x. c (c x)
5) \x. (\f g x_0. f (g x_0)) (c x)
6) \x g x_0. c x (g x_0)
7) \x g x_0. (\f g_1 x_2. f (g_1 x_2)) x (g x_0)
8) \x g x_0. (\g_1 x_2. x (g_1 x_2)) (g x_0)
9) \x g x_0 x_1. x (g x_0 x_1)
--
Rob Dockins
Talk softly and drive a Sherman tank.
Laugh hard, it's a long way to the bank.
-- TMBG