Playground v3
POLYTONE really runs here: the reference VM as WebAssembly, in a sandbox. Every tab is a module or a sandbox file, Check type-checks without executing, Format is the compiler's own canonical form, and the sandbox knobs make Clock, Rng and Env deterministically adjustable.