Skip to content

Fix start&top implementation in typechecker#2551

Draft
DavyLandman wants to merge 1 commit intomainfrom
fix/start-symbol-issue-2496
Draft

Fix start&top implementation in typechecker#2551
DavyLandman wants to merge 1 commit intomainfrom
fix/start-symbol-issue-2496

Commits

Commits on Dec 3, 2025