Concepts

Placeholder: the "wait, why?" pages — explainers for what the compiler and runtime have been doing under the hood.

Subpages

• Type Inference — how Kestrel deduces types
• Memory Model — value semantics, ownership, and scope-based drop