This is an ongoing effort to create
a formal specification of the programming language provided by jq.
A rendered version is available here.
Run typst compile spec.typ to generate a PDF version of the specification.
For this, Typst 0.10 should be installed.