Here is an example showing how to parse the jsonized level-2 abstract
syntax trees:
Basically, one can implement special languages in the following manner:
Use ATS syntax for source code
Use the ATS typechecker to do typechecking
(or implement a typechecker to work on exported
abstract syntax trees mentioned below)
Export level-2 abstract syntax trees in JSON format
Write a parser to parse the exported ASTs
Turn the parsed ASTs into some form of code.