This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Michael Mroz
mroz.io
did:plc:ztyafcbr6rlcpzpcp5vzlkgl
Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.