Agda Playground needs JavaScript to run the WebAssembly compiler.