$ dhall-c/playground

Playground

The real interpreter and LSP, compiled to WebAssembly, running in this tab.

Live demo

// typecheck · normalize · to-json · to-toml · to-yaml · live LSP

Pick a mode, edit the source, then press Run or Ctrl/⌘+Enter. The editor is a real CodeMirror with Dhall syntax highlighting, and the actual dhall-lsp server (the same src/lsp.c, compiled to wasm) runs behind it — live squiggles as you type, and hover shows the inferred type.