This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
James Munns
jamesmunns.com
did:plc:rqm4qgf6jdmb35mxatuzi6cq
Usually you need to annotate or limit recursion and really any use of function pointers or other form of dynamic dispatch.
It's hard in the general case, pretty tractable for systems with specific scope.
2025-05-04T22:08:05.782Z