[racket] Y combinator

On Feb 6, 2014, at 1:05 PM, Prabhakar Ragde <plragde at uwaterloo.ca> wrote:

> Matthew Johnson wrote:
> 
>> My question is really a plea for someone to fill in the gaps in a
>> derivation of the Y combinator.
> 
> This is the source I use as a basis for my classroom presentations, with a few more details thrown in.
> 
> http://www.dreamsongs.com/Files/WhyOfY.pdf


[[ Naturally I am partial, but I don't think Dick's explanation constructs the Y combinator; it merely explains its workings. ]]