Language Reference

The reference collects focused descriptions of individual language forms. Read it in order or jump directly to the detail you need.

• Tuples

• Numbers

• Behavior synthesis

• Behavior modules and witnesses

• Public behavior witnesses

• Module signatures

• Format, Display, and Inspect

• Blocks and control flow

• Field modes

• Rejected programs

• Locality

• Indexed variants

• Compile-time code

• String literals