Yeah, it mentions that at the bottom of the post. I must confess that I've never heard of Church encoding before, but I'll be reading more about it. Thanks for

Yeah, it mentions that at the bottom of the post. I must confess that I've never heard of Church encoding before, but I'll be reading more about it. Thanks for the book recommendation as well.