search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

separate runtime and compiler npm packages #86

Open shinnar opened 6 years ago

shinnar commented 6 years ago

This would give us qcert-runtime, and qcert (which could depend on qcert-runtime).

This would allow projects to use qcert-runtime as a dependency, and qcert as a dev-dependency, for example.