Specification

The language specification is the source of truth for mu’s syntax and semantics. It defines the grammar, execution model, truthiness rules, module resolution, builtin contracts, and runtime behavior.

What you’ll find in the spec

• Lexical rules and tokens
• Grammar and parsing rules
• Semantics for values, operators, control flow, and errors
• Modules, imports, and the prelude
• Builtin function contracts
• VM execution model and concurrency rules

Read it

The canonical version lives in docs/Specification.md.

Next steps

• Start with the language tour for a practical overview.
• Review the runtime guide for execution details.
• Explore the standard library modules.