search

querycert / qcert

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

Pretty-printer for JsAst #93

Closed jeromesimeon closed 4 years ago

jeromesimeon commented 6 years ago

We should have a pretty printer for the JavaScript AST. This should be written in Coq for testing and to provide the ability to generate string representation in the AST itself (this sounds a little bit circular...).

jeromesimeon commented 4 years ago

A partially supported pretty printer for the JavaScript AST is in the JavaScriptAsttoJavaScript module.