Search
Search the Tyu documentation.
-
Getting Started
-
Assembling in Tyu — draft v3
-
Appendices
-
Chapter 1 — The Rigor Is the Engine
-
Chapter 2 — First Words
-
Chapter 3 — Types: Making Illegal Values Unrepresentable
-
Chapter 4 — Contracts: Promises the Machine Reads
-
Chapter 5 — Effects and Capabilities: The Two-Sided Law
-
Chapter 6 — The Stack Has a Shape
-
Chapter 7 — Places, Borrowing, Ownership
-
Chapter 8 — Touching Hardware: MMIO
-
Chapter 9 — Factoring: Style Becomes Proof
-
Chapter 10 — Decomposition: Information Hiding, Enforced
-
Chapter 11 — Shared State and the Cross-Context Rule: Interrupts
-
Chapter 12 — Tasks and Channels: Concurrency the Platform Provides
-
Chapter 13 — Field Updates on Untrusted Media
-
Chapter 14 — Proving the Program: The Developer-Proof Pipeline
-
Chapter 15 — The Machine as Witness: Emulation in Verification
-
Chapter 14 — Epilogue: Tyu's Effect on Thinking
-
-
Reference
-
The Browser REPL
Write, check, and run Tyu in your browser — no install. The book's labs, preloaded.
-
Search
Search the Tyu documentation.
Type to search the full documentation index. Results are ranked by title and content matches. Without JavaScript, the complete page list is rendered below the search box — use your browser’s find-in-page.