Fork me on GitHub

I was trying to explain the lambda calculus to someone just now and I got stuck at the explanation of how (\x (\y x)) represents a true value. I remember the part about it being a function that takes two args and returns the first one, but how exactly does that map to truthiness? What’s the best way to explain it?