Tycho documentation

Learn

The README — what Tycho is, and whether it's for you.
Quickstart — clone, build, and run a program in ten minutes.
Tutorial — write and run your first programs in about an hour.
From malloc to implicit arenas — the memory model in five steps from familiar C. Read this right after the tutorial.
Thinking in Tycho — the six idioms: what to reach for instead of references, observers, and interface values. Read this before the reference.

Language reference — how each feature behaves, one page per topic, every example runnable.
Quiet results — the seven places the language answers instead of refusing. Short; read it before the first real program.

You want	Go to
What a feature does, precisely	`reference/` — one page per topic
The exact rule for an edge case	`spec/` — grammar and normative semantics
An operation answered when you expected it to refuse	`quiet-results.md`
A program is misbehaving	`debugging.md`
A build fails, or your platform is unusual	`platforms.md` — gated platforms, skips, C toolchain matrix

The case that the model works, and what it costs:

The thesis — the argument: why value semantics makes implicit arenas work, where it doesn't, with measured numbers.
The memory model — the practitioner's view: what the compiler emits and what to expect in practice.
Performance — the measurements behind the claims.
Controls — why the evidence is worth reading: four cases where the test gates proved they can fail.
Architecture — how the project is built, what each verification gate proves, what's shipped, and the decided non-goals.

internals/ and rfc/ — design notes, proposals, and investigation records. Written for maintainers.

See CONTRIBUTING.md for the build and which gate to run.