Language Specification

The normative Logos language specification. Every rule cites the compiler source that implements it — those EVIDENCE references link straight to the code at the commit this documentation was built from. Logos-side tooling keeps the spec in step with the language.

Source references link to 01c0f52b (main) in the Logos repository.

• Lexical Structure 40 rules
• Grammar 62 rules
• Items 163 rules
• Types & Layout 532 rules
• Expressions 658 rules
• Statements 176 rules
• Patterns 256 rules
• Traits & Generics 421 rules
• Ownership 246 rules
• Modules 87 rules
• Monomorphization 262 rules
• Metaprogramming 139 rules
• Writ 48 rules
• Deem 87 rules
• Trama 30 rules
• Divergences 491 rules
• Conformance Findings