Talk:Combinator

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.