Someone must have made a joke about how lambda calculus is the embodiment of the separation of Church and state before, right?
You rang m’lord? :o)
I told this pun as part of my ACCU 2025 lightning talk last year.
I can offer you a blog post which has my programming puns from various lightning talks over the years, if you’re a glutton for punishment :o).
https://chrisoldwood.blogspot.com/2025/04/a-decade-of-lightning-talks-with.html