Overview
Linea now maintains an explicit language specification for stable syntax and tooling behavior.
docs/LANGUAGE_SPEC.md
Highlights
- Canonical declaration syntax with
@types - Module import rules and symbol validation behavior
- Error and diagnostics guidance with line/column reporting
- Control-flow and expression grammar coverage
- CLI output conventions for success/failure
Import Validation Example
import math { abs, max }
display math::abs(-5)
If a symbol is not exported by the module, compilation fails early with a list of available exports.