package-lock.json · 7bd7ae0e567518134b484070fd031a1f34470983 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

2 years ago
7bd7ae0e
[backend] Port backend javascript object to TypeScript. · 7bd7ae0e
Emilio Jesus Gallego Arias authored 2 years ago
```
This is rarely used live, and should allow us to make progress towards
the common protocol a bit more easy.
```
Unverified
7bd7ae0e

History
[backend] Port backend javascript object to TypeScript.
Emilio Jesus Gallego Arias authored 2 years ago
```
This is rarely used live, and should allow us to make progress towards
the common protocol a bit more easy.
```