4 ms·I had no idea that there were so many jokes about Church encoding.by jahewson 4y agoI had no idea that there were so many jokes about Church encoding.