Language Feature Index

Use this index to find a worked example, then consult the design reference for the full rule.

• Expressions, Produced Values, and Blocks
• Bindings and Scope
• Types and Numbers
• Functions and Calls
• Branching and Flow Control
• Optional Values and Narrowing
• Errors as Values
• Loops and Multiple Iterators
• Ranges
• Values, Copies, and Places
• Strings and Graphemes
• Containers
• Structural Objects
• Numbers and Bases
• Operators
• Function Values and Composition
• Refinements
• Physical Quantities and Units
• Effects
• Modules, Imports, and the Prelude

See generated coverage for exact program IDs and targets. This index is not an implementation checklist.