This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
HackerNoon
hackernoon.com
did:plc:kbzotn4ippvrqllcitxglgm2
Explore how sequent calculus handles consumers, evaluation orders, and eta laws better than CPS, with insights on linear logic and functional compilers. #functionalprogramming
https://hackernoon.com/sequent-calculus-vs-cps-a-compilers-perspective-on-consumers-and-evaluation-strategies
2025-07-09T07:00:06.547Z