tsconfig.json · 458fdc3b2c75a949fb6fa57c1bceb843cdc1de3f · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

2 years ago
458fdc3b
[cleanup] Fixed a few type errors. · 458fdc3b
Shachar Itzhaky authored 2 years ago
```
Disabled `strictNullCheck`, because it's too hard to
satisfy at the moment.
```
458fdc3b

History
[cleanup] Fixed a few type errors.
Shachar Itzhaky authored 2 years ago
```
Disabled `strictNullCheck`, because it's too hard to
satisfy at the moment.
```