> Don't talk rubbish about 'look it up'. You need a degree to get this. Not a metaphorical degree, the real thing. You really don't need a degree. The Curry-Ho

> Don't talk rubbish about 'look it up'. You need a degree to get this. Not a metaphorical degree, the real thing. You really don't need a degree. The Curry-Howard isomorphism is taught in undergraduate CS courses, to students who are simultaneously being introduced to lambda calculus. While I wouldn't say it's trivial, it's not rocket science either. Most students get it and pass the exams.