Reference
The language
The forms the parser admits, with the rules that govern each. Anything not described here is not admitted.
The reference is organized by construct. Each chapter states the admitted forms and the rules the compiler enforces on them.
| Chapter | Covers |
|---|---|
| Functions | the declaration form and its clause order |
| Types | primitives, records, sum types, slices, recursion through Box |
| Modes | let, mutable, take, init — ownership at the call site |
| Effects | closed rows, err propagation, handlers, graded bounds |
| Refinements | requires, ensures, where, decreases, the decidable fragment |
| Specs | the only generic mechanism — concrete, content-addressed codegen |
Verification and concurrency have their own pages; comptime and derive are covered under specs until they grow chapters of their own.