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
Learn how typing rules and type soundness theorems ensure safe program evaluation in Core and Fun, including codata handling and recursive definitions. #functionalprogramming
https://hackernoon.com/how-typing-rules-and-type-soundness-work-in-core-and-fun-programming-languages
2025-07-08T08:00:05.744Z