samir, actually the xkcd top hat guyApr 4
Someone must have made a joke about how lambda calculus is the embodiment of the separation of Church and state before, right?
Show threadchris martens
@samir yeah, i think there's a paper or something with this title
Apr 4 at 10:36pmWeb
Show threadsamir, actually the xkcd top hat guyApr 5
@chrisamaphone I searched but I couldn’t find anything, and I was very surprised. I expect it’s out there though.