Skip to content

Fix start&top implementation in typechecker - #2551

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

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

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

1a8c413
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / SonarCloud succeeded Jun 26, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.