src/Tools/VSCode/extension/tsconfig.json

dynamic configuration of prettify-symbols-mode, similar to VSCoq;

{
    "compilerOptions": {
        "module": "commonjs",
        "target": "es6",
        "outDir": "out",
        "lib": [
            "es6"
        ],
        "sourceMap": true,
        "rootDir": "."
    },
    "exclude": [
        "node_modules",
        ".vscode-test"
    ]
}