[AnimalMuppet]

Your answer doesn't tell him anything about the lambda calculus. It tells him a lot about functional programming.

Is your claim that functional programming is the lambda calculus? Is dependent on the lambda calculus? Is an implementation of the lambda calculus? Something else?

You seem to have some implicit assumptions or claims here. Stating them explicitly could let the GP know what it is that you think you're demonstrating.