Skip to content

Fix start&top implementation in typechecker - #2551

Open
DavyLandman wants to merge 8 commits into
mainfrom
fix/start-symbol-issue-2496
Open

Fix start&top implementation in typechecker#2551
DavyLandman wants to merge 8 commits into
mainfrom
fix/start-symbol-issue-2496

Merge branch 'main' into fix/start-symbol-issue-2496

9c0be8e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Sep 29, 2026 in 0s

45% (-1%) compared to 548f620

View this Pull Request on Codecov

45% (-1%) compared to 548f620

View more details on Codecov