Skip to content

A node locus names its atom: the refused symbol reaches the text line - #12004

Merged
gunbai-bot[bot] merged 3 commits into
mainfrom
fix/node-locus-names-its-atom
Sep 21, 2026
Merged

A node locus names its atom: the refused symbol reaches the text line#12004
gunbai-bot[bot] merged 3 commits into
mainfrom
fix/node-locus-names-its-atom

Ask v2.std.grammar whether the anchor is an atom instead of re-destru…

6b49f70
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar