fromHackernoon1 year agoWhat Functional Programmers Can Learn from Sequent Calculus | HackerNoonA central feature of the λμμ˜-calculus is the treatment of evaluation contexts as first-class objects, which plays a significant role in term evaluation.Philosophy