Skip to content

Dissolve the float-atom predicate into the canonical atom-identity accessor - #11618

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
float-atom-predicate-dissolution
Sep 19, 2026
Merged

Dissolve the float-atom predicate into the canonical atom-identity accessor#11618
gunbai-bot[bot] merged 2 commits into
mainfrom
float-atom-predicate-dissolution

Finish the predicate family: cut the root, not one leaf

c9e82ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar