This new version is a major overhaul of the specification. In particular, this version now describes compilation of jq programs to lambda terms, which allows us to drop contexts, to handle labels more easily, to describe exceptions more precisely and to correctly model recursion. #2 Furthermore, the specification now also covers patterns as well as foreach/3.
Full Changelog: v0.3.0...v0.4.0