Rewrites on ImpEJson for Wasm backend - Githubissues

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Rewrites on ImpEJson for Wasm backend #149

Closed jeromesimeon closed 4 years ago