samir, an unknown quantitySomeone must have made a joke about how lambda calculus is the embodiment of the separation of Church and state before, right?
Derek PennycuffYes. I've heard it at least once. Couldn't tell you exactly where / from who, though.
@dap6000 Maybe it’s so obvious that we’ve all made it once… :-p