Hacker News Reader

Are you referring to the bird songs from Raymond Smullyan's "To Mock a Mockingbird?"

I found this breakdown after a cursory search http://dkeenan.com/Lambda/

Ah you know what, I think I am. I guess I was stuck thinking about Monads rather than the lambda calculus. Thank you so much!

Behind the link lies the most confusing explanation of lambda calculus I've ever seen.