Language Reference
Language Reference
A concise reference for Kira's accepted syntax, current semantic rules, and today's execution boundary.
The Language Reference is the lookup half of this manual.
Use it when you need the current contract quickly:
- which forms the lexer and parser recognize
- which builtin types exist
- which expressions and statements are modeled today
- which annotations and construct rules have compiler meaning
- which features are parsed, checked, or runnable
Reference Chapters
- About the Language Reference
- Lexical Structure
- Types
- Expressions
- Statements
- Declarations
- Annotations Reference
- Constructs Reference
- Execution and Feature Status
For a more narrative introduction, switch back to the Language Guide.