LearnInstall the toolchain, write a first program, read a first diagnostic.
LearnFrom the signature to the structure map — the decisions that connect them.
BuildCapability-scoped sockets, errors on the row, structured connection handling.
BuildOne static binary whose entry signature is a complete audit of its authority.
BuildGraded allocation, linear peripherals, wire-exact layout.
BuildThe capability model, compiled to the sandbox that agrees with it.
ReferenceFunctions, types, modes, effect rows, refinements, specs, comptime, derive.
ReferenceSMT discharge, the decidable fragment, certificates, termination, trust.
ReferenceStructured concurrency, tasks, coherence regions, typestate, linear types.
ReferenceThe compiler as a service, the structure map, structural edits, the CLI.
ReferenceContent addressing, the .rune pack, the three hashes, the Mímir registry.
SourceThe compiler, standard library, runes, and this site.