P.S. This is the best explanation of combinators I've seen on the web (and includes Y of course): http://users.bigpond.net.au/d.keenan/Lambda/index.htm http://

P.S. This is the best explanation of combinators I've seen on the web (and includes Y of course): http://users.bigpond.net.au/d.keenan/Lambda/index.htm http://users.bigpond.net.au/d.keenan/Lambda/index.htm