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
A clear breakdown of how λμμ˜-calculus relates to sequent calculus, typing rules, and operational semantics like label/goto.
#functionalprogramming
https://hackernoon.com/what-sequent-calculus-teaches-us-about-computation
2025-07-09T10:00:10.840Z