Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authored
All wasm binaries are read from `node_modules` directly, so there is no need for a `bin/` directory (this was a hack). The deps are collected in a meta-package `wacoq-deps`, which is published to NPM separately and should not change often.
Shachar Itzhaky authoredAll wasm binaries are read from `node_modules` directly, so there is no need for a `bin/` directory (this was a hack). The deps are collected in a meta-package `wacoq-deps`, which is published to NPM separately and should not change often.