Forked from
David Hamelin / jscoq-light
20 commits behind the upstream repository.
-
Emilio Jesus Gallego Arias authored
These are the current numbers on release: ``` 261K -- dist/wacoq_worker.js 369K -- dist/frontend/index.css 583K -- dist/frontend/index.js ```
Unverified56d1025f
tsconfig.json 499 B
{
"compilerOptions": {
"target": "esnext",
"module": "esnext",
"moduleResolution": "node",
"outDir": "dist",
"lib": ["esnext", "dom", "dom.iterable", "webworker"],
"esModuleInterop": true,
"sourceMap": true,
"declaration": true,
"declarationMap": true,
"resolveJsonModule": true,
"downlevelIteration": true,
"allowSyntheticDefaultImports": true,
"checkJs": true
// "noEmit": true
},
"exclude": ["_build", "dist", "backend/wasm/shims"]
}