Language contract

These pages define source syntax and what programs mean. Read the overview, then follow source and modules, types, expressions, ownership, functions, generics, errors and resource scopes, and iteration.

Operation signatures and their effects belong to built-in facilities; compiler/runtime mechanisms belong to implementation.