Theia-Modula-2/examples/hello/.vscode/launch.json

{
  "version": "0.2.0",
  "configurations": [
    modula2
    {
      "type": "modula2",
      "request": "launch",
      "name": "Debug Hello",
      "program": "${workspaceFolder}/bin/Hello",
      "cwd": "${workspaceFolder}"
    }
  ]
}