COMBINATORS VI (sequel)

Well, COMBINATORS VI is a little bit more readable, but I don't understand why it puts a blank line each line, and, worst why it cuts the end of the posts. So I resend the cutted line. Apology for your mail box. COMBINATORS VI (sequel): Question: is there a systematic method such that givin

COMBINATORS VI

This is the same post: COMBINATORS VI I'm just searching a way to format it so that it is more readable in the archive. I will provide a detailed solution of the last problem for those who have perhaps misse

Re: COMBINATORS VI

I will provide a detailed solution of the last problem for those who have perhaps missed the beginning. Verify that S = B(BW)(BBC). That is verify that B(BW)(BBC)xyz = xz(yz). This should be much easier. One awful solution would be, reminding that B = S(KS)K, and that W = SS(KI) and that C = S(