Skip to content

Treat ^ and v as operators even without surrounding whitespace - #639

Merged
fgmacedo merged 4 commits into
fgmacedo:developfrom
chuenchen309:fix/spec-parser-unspaced-classical-operators
Aug 1, 2026
Merged

Treat ^ and v as operators even without surrounding whitespace#639
fgmacedo merged 4 commits into
fgmacedo:developfrom
chuenchen309:fix/spec-parser-unspaced-classical-operators

Commits

Commits on Jul 19, 2026

Commits on Aug 1, 2026