Language Reference
About the Language Reference
How to read the Kira reference and why it focuses on current syntax and status instead of future design.
This reference is deliberately narrower and more normative than the guide.
What It Records
The reference records the current repository contract:
- accepted tokens and grammar shapes
- builtin names and declaration forms
- semantic rules that are already enforced
- the gap between frontend support and runnable lowering
What It Does Not Do
It does not try to document:
- aspirational language features that are not in this repo
- a future stable product specification
- a guessed completion of partially implemented features
If a feature is only parsed, only checked, or only runnable on one backend path, the reference says so directly.