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.
Start a discussion about improving the Combinator page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Combinator" page.
