Fallible Let Binding
8 sections
0%
Section 1 Walking skeleton: one let? shape end-to-end Section 2 Parser: let? adjacency composition + fallible_pattern Section 3 Type checker: invariant analysis + diagnostics Section 4 Canonicalizer: desugar with per-binding mutability Section 5 Evaluator + LLVM parity via the desugar Section 6 Formatter: no-interior-space rule Section 7 Spec + grammar + quick-reference sync Section 8 Spec-test corpus + motivating rewrite
Planned
8 sections
Section 1 Not Started
Walking skeleton: one let? shape end-to-end
0/1 tasks
Section 2 Not Started
Parser: let? adjacency composition + fallible_pattern
0/3 tasks
Section 3 Not Started
Type checker: invariant analysis + diagnostics
0/5 tasks
Section 4 Not Started
Canonicalizer: desugar with per-binding mutability
0/3 tasks
Section 5 Not Started
Evaluator + LLVM parity via the desugar
0/3 tasks
Section 6 Not Started
Formatter: no-interior-space rule
0/1 tasks
Section 7 Not Started
Spec + grammar + quick-reference sync
0/5 tasks
Section 8 Not Started
Spec-test corpus + motivating rewrite
0/3 tasks