Json
A library for JSON.
The JavaScript Object Notation (JSON) is described by:
These are all meant to be consistent,
at least in defining the JSON format,
although they may contain
slightly different notations and recommendations.
Subtopics
- Parser-output-to-abstract-syntax
- A translator
from the JSON parser's output to the JSON abstract syntax.
- Abstract-syntax
- An abstract syntax of JSON.
- Concrete-syntax
- Concrete syntax of JSON.
- Patbind-pattern
- b* binder for JSON pattern matching.
