[failure]SICP Exercise 2.6[λcalculus]

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-14.html#%_thm_2.6 for those of you who haven't memorized your sicp yet.

i can dig the idea behind church numerals. number represented by the number of times a function is applied, sure.
but i'm having trouble seeing how the substitution model is used to go from
(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x)) f) x)))) to (lambda (f) (lambda (x) (f x))) or whatever the fuck.

halp.

DON'T HELP HIM!

Also, NO EXCEPTIONS

Read SICP.

[quote]
(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x)) f) x))))[/quote]
THIS IS WHAT FUNCTIONAL PROGRAMMERS ACTUALLY BELIEVE.

>>4
way2fail

pretty please with cudders on top?

Beta reduction nigger, do you use it?

Figures it'd be my lack of λ calculus chops.  brb going to go on a journey of self discovery.

>>7
Open your third eye and THE SUSSMAN shall be your guide.

NIGGER PENUS

ACTUALLY a banned page.

The POSIX standards What about those from   The Open Group   once i have   lots of potatoes   in my freezer   that i need   an introduction first   No experience whatsoever.

14 Name: Anonymous 2010-12-17 1:41

Are you GAY?
Are you a NIGGER?
Are you a GAY NIGGER?

If you answered "Yes" to all of the above questions, then GNAA (GAY NIGGER ASSOCIATION OF AMERICA) might be exactly what you've been looking for!