Appendix
Appendix
Operational material for the Kira toolchain, including install flow, CLI usage, toolchains, diagnostics, examples, and contributor docs.
The appendix keeps workflow-heavy material close to the language book without interrupting the language-first reading flow.
Appendix Sections
- Getting Started
- CLI
- Toolchains
- FFI Workflows
- Diagnostics
- Compiler Architecture
- Examples
- Contributing
When to Use the Appendix
Reach for the appendix when you need to:
- install or run the current toolchain
- look up exact command behavior
- understand the current package manager and Foundation workflow
- understand LLVM/toolchain setup
- inspect native-library and autobinding workflows
- follow real proof targets from the examples and corpus