Talk:Combinator
Appearance
Can someone remember the definition of Y in terms of S and K?
Unless I made a computation error, it's
V = (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I))) Y = (S V V)
Not very enlightening, is it? -- Mark Jason Dominus 20021122 232217
Just for the purists, that's
Y = (S (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I))) (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I))))
if you want it in one go. Not very illuminating, indeed.