Comment by cryptonector Comment by cryptonector 3 days ago 0 replies Copy Link View on Hacker News Pure lambda calculus is enough because lambda calculus encodes computation.