Twelf Sandbox

Twelf on Wasm is made possible by Twelf Live and this MLton PR, which adds a cross-compilation target for Wasm/WASI. Source to this repo. As a shortcut, Ctrl-Enter also checks file.