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 study shows de- and refunctionalization preserve typing and program well-formedness in a dependently typed language. #objectorientedprogramming
https://hackernoon.com/rethinking-data-and-codata-through-matrix-transposition
2026-03-05T15:00:11.065Z