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
polaris only has ml-style module expressions (which actually works quite well in an interpreted setting), but it doesn't have the bad parts (functors (it has type classes) and the conflation between nominal type declarations and structural type synonyms)
2025-06-11T21:17:50.151Z