Selected Type Import Constructors
7 sections
0%
Section 1 Walking skeleton: imported newtype end-to-end Section 2 Resolver: single constructor-binding descriptor Section 3 Type checker: descriptor consumption + resolution rules Section 4 Evaluator: descriptor projection (parity with compiled) Section 5 LLVM backend: descriptor projection Section 6 Spec sync: Clauses 15, 18.3, 18.4, 18.5, 18.7 Section 7 Cross-executor parity test corpus
Planned
7 sections
Section 1 Not Started
Walking skeleton: imported newtype end-to-end
0/1 tasks
Section 2 Not Started
Resolver: single constructor-binding descriptor
0/2 tasks
Section 3 Not Started
Type checker: descriptor consumption + resolution rules
0/2 tasks
Section 4 Not Started
Evaluator: descriptor projection (parity with compiled)
0/1 tasks
Section 5 Not Started
LLVM backend: descriptor projection
0/1 tasks
Section 6 Not Started
Spec sync: Clauses 15, 18.3, 18.4, 18.5, 18.7
0/1 tasks
Section 7 Not Started
Cross-executor parity test corpus
0/1 tasks