Underneath the Syntax

References and supporting material.

Technical references connected to the book and its executable companion.

QF Code 1.1 language specification

The companion examples use QF Code. Its formal specification documents the language syntax, values, control flow, built-in functions, execution safeguards, and known implementation notes.

Read the specification

Reference browser implementation

The QF Code browser IDE is the implementation used by the companion. It runs locally in a modern browser and does not require an account.

Open QF Code

Additional references

Edition-specific notes and supporting reading will be added here when they are useful to readers of the book.