> They may be easier to reason about than lambda calculus That was a claim someone made, but it turned out to be a misunderstanding, and is incorrect. I've co

> They may be easier to reason about than lambda calculus That was a claim someone made, but it turned out to be a misunderstanding, and is incorrect. I've covered this here: https://news.ycombinator.com/item?id=27338055 https://news.ycombinator.com/item?id=27338055 (see the parent comment for quotes from Godel & Church that I'm referring to.)