This section of the specification defines the language’s features, their semantics and their syntax.

Table of Content

• Modules
• Type System
• Pattern Matching
• Operators
• Functions
• Effect Handlers
• Concurrency Model
• Foreign Function Interface