Specification
The rules of the language: what a program means, what the toolchain must refuse, and what it reports. A second implementation can be built from them.
The rules of the language: what a program means, what the toolchain must refuse, and what it reports. A second implementation can be built from them.