Skip to content

sem: replace addr calls with nkAddr#1465

Merged
chore-runner[bot] merged 4 commits intonim-works:develfrom
zerbina:sem-only-nkAddr-in-typed-ast
Oct 19, 2024
Merged

sem: replace `addr` calls with `nkAddr`#1465
chore-runner[bot] merged 4 commits intonim-works:develfrom
zerbina:sem-only-nkAddr-in-typed-ast

Commits

Commits on Oct 18, 2024