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.