Debug Adapter Protocol server for Spanda — VS Code and compatible editors.
spanda-driver (DebugMachine), spanda-debug (DebugSession, DebugOptions), spanda-error.
cargo run -p spanda-dap
Wire the VS Code extension in editor/vscode/ to this binary.