Skip to content

Fix delimiter capture and namespace collision bugs (§3.1-3.2)#95

Open
rwtaber wants to merge 1 commit intoalexzhang13:mainfrom
rwtaber:fix/scope-hygiene-bugs
Open

Fix delimiter capture and namespace collision bugs (§3.1-3.2)#95
rwtaber wants to merge 1 commit intoalexzhang13:mainfrom
rwtaber:fix/scope-hygiene-bugs

Commits

Commits on Feb 9, 2026