PhilosophyfromHackernoon1 year agoWhat Functional Programmers Can Learn from Sequent Calculus | HackerNoonEvaluation contexts in the λμμ˜-calculus are treated as first-class objects, significantly influencing term evaluation.