Skip to content

Fix name resolving bug, add tests#68

Merged
MarcellPerger1 merged 8 commits intomainfrom
add-typechecking
Jun 13, 2025
Merged

Fix name resolving bug, add tests#68
MarcellPerger1 merged 8 commits intomainfrom
add-typechecking