[brianberns]

Happy to help. I think you might also want to improve this phrase: "its impact on computer science cannot be understanded". Truly, I have not understanded it at all. :) Perhaps you meant "overstated"?

More importantly, I think that line 4 of strangeFact is a key concept that needs better explanation. Your current description ("What this does is bind the parameter fact to our strange factorial bird and return a function who knows how to do this again should it ever need another copy of itself") is confusing, IMHO. It's not clear what you mean by "should it ever need another copy of itself". It would be especially nice if you could explain this idea in terms of birds, rather than parameter bindings. Otherwise, the metaphor becomes rather superficial, I think.

I'll try to work through the rest of the article as well, time permitting.