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?
Bodil@bodil I feel like I’ve heard it before too, but I can’t find it online. Perhaps it’s so bad that no one wanted to commit it to record.