Skip to content

Add name resolution and scopes#65

Merged
MarcellPerger1 merged 35 commits intomainfrom
add-typechecking
Dec 8, 2024
Merged

Add name resolution and scopes#65
MarcellPerger1 merged 35 commits intomainfrom
add-typechecking

Commits

Commits on Nov 24, 2024

Commits on Nov 25, 2024

Commits on Nov 27, 2024

Commits on Nov 28, 2024

Commits on Nov 29, 2024

Commits on Nov 30, 2024

Commits on Dec 8, 2024