Thanks for your feedback. I tweaked the abstract a bit to reflect your point. I'll do a follow-on post on how to explicitly reduce the lambda calculus to Turi

Thanks for your feedback. I tweaked the abstract a bit to reflect your point. I'll do a follow-on post on how to explicitly reduce the lambda calculus to Turing machines and vice versa. Most of the hard work is done with this post.