* Add tsconfig.json for common * Prefer `const` over `let` over `var` * Kill dead code * Fix some trivial Typescript issues * Turn on Typescript linting in common except for no-explicit-any * Correctly specify tsconfig dir name in functions eslintrc |
||
|---|---|---|
| .. | ||
| constants.ts | ||
| dev.ts | ||
| prod.ts | ||
| theoremone.ts | ||