Language reference
Concept browser
Understand concepts, their properties and relationships, with links to original declarations and notation evidence.
Selected language constructs. Examples are source-reviewed; no model execution or conformance check is performed.
Pinned official sources
The source files and their byte hashes identify the evidence used by the catalogue.