Deed

A function can only do what its signature admits to.

Learn Deed

Start 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

From one clause to a working program.

01 / five minutes

See the boundary

Follow one function from its signature to a refused effect and the smallest repair that makes its authority explicit.

Read one clause
02 / no install

Ask the compiler

Edit released examples, check them, run their tests, format them, and inspect the compiler's own diagnostics in your tab.

Open the playground
03 / build along

Write a program

Work through values, functions, effects, contracts, tests, modules, and the command-line workflow in order.

Follow the tutorial

Learn by subject

Read only as far as the job requires.

When something refuses

Start with the diagnostic, not a guess.

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.