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 deep dive into dependently typed object-oriented programming, codata design, self-parameters, and verified interfaces. #objectorientedprogramming
https://hackernoon.com/rethinking-oop-through-dependent-types-and-codata
2026-03-04T13:00:18.998Z