A nice demonstration of lambda calculus using Church Encoding in Ruby, without saying that that's what he's doing. I guess at the end of the video, he will pro

A nice demonstration of lambda calculus using Church Encoding in Ruby, without saying that that's what he's doing. I guess at the end of the video, he will probably reveal what the thing he's been doing is called.