Skip to content

Change BNF arrow notation from -> to => - #122

Merged
hzhangxyz merged 2 commits into
mainfrom
copilot/fix-bnf-language-symbols
Dec 20, 2025
Merged

Change BNF arrow notation from -> to =>#122
hzhangxyz merged 2 commits into
mainfrom
copilot/fix-bnf-language-symbols