Further reading

Use these documents when the guide’s user-facing explanation is not enough.

Normative authorities

• Language Reference — surface syntax and visible static behavior.
• Language Design — core type, effect, evidence, object, and evaluation semantics.
• Target Design — targets, placement, transfer, discovery, and fallback.
• Project Design — manifests, products, dependencies, and lockfiles.
• Implementation Plan — verified status and roadmap.

Focused designs

• Core Design — universes, Pi/Sigma, equality, normalization.
• Categorical Design — structures, evidence, laws.
• Effect Design — rows, handlers, resumptions.
• Class Design — classes and nominal subtyping.
• Primitive Design — intrinsics, repr, numerical work.
• Reflection Design — typed codes, computed data, procedural derivation, runtime metadata, and layout separation.
• Concurrency Design — structured concurrency.
• Diagnostic Design — diagnostics and events.
• Codegen Design — canonical executable pipeline.
• Interop Design — foreign-platform boundaries.

Implementation depth

• LLVM Backend Design
• Unified Type Design
• Separate Compilation Design
• Standard Library Reference

Focused and historical documents never override the authority order defined in Design Index.