Skip to content
Tyu
Menu
Tyu
Search
Search docs
Assembling in Tyu
Getting Started
Getting Started
Setup
The Browser REPL
Assembling in Tyu — draft v3
Assembling in Tyu — draft v3
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
Appendices
Appendices
Appendix A — Language Reference
Appendix B — Error and Trap Registry
Appendix C — Toolchain Setup (current procedure)
Appendix D — Style Summary (one page)
Reference
Reference
Developer Documentation
Glossary
Search
Docs
Docs
The Tyu programming language documentation.
Last updated:
October 30, 2026