This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Alice
welltypedwit.ch
did:plc:j7ri4agbraq6g3dfmyccxep2
(you can see this if you run objdump --syms on your binary and grep for e.g. Ctype (the ocaml type checker module))
2025-06-19T21:54:44.335Z