[narush]

Cool post -- wondering, does the final example of defining the y combinator and using it really show much? `(factorial 5)` probably would run without defining the y combinator first -- would be interested to see how it handled some novel function that isn't probably directly memorized.