See the boundary
Follow one function from its signature to a refused effect and the smallest repair that makes its authority explicit.
Read one clauseStart with the shortest route that answers your question. The browser paths need no setup; the written guides follow Deed 0.2.13.
Choose a starting point
Follow one function from its signature to a refused effect and the smallest repair that makes its authority explicit.
Read one clauseEdit released examples, check them, run their tests, format them, and inspect the compiler's own diagnostics in your tab.
Open the playgroundWork through values, functions, effects, contracts, tests, modules, and the command-line workflow in order.
Follow the tutorialLearn by subject
When something refuses
The diagnostic index is generated from the pinned compiler, and every entry links to its explanation. For a concrete shape to adapt, browse the released examples. For a design decision and its tradeoffs, read the design record.