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 --PR ____________________ Racket Users list: http://lists.racket-lang.org/users