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 formal core calculus for dependent data and codata with pattern matching, copatterns, call-by-value semantics, and type soundness proofs. #objectorientedprogramming
https://hackernoon.com/a-formal-core-for-dependent-data-and-codata-with-type-soundness-guarantees
2026-03-05T13:00:17.865Z