Skip to content

Remove separate syntax heads for each operator#575

Closed
Keno wants to merge 2 commits into
kf/dotsfrom
kf/rmopkinds
Closed

Remove separate syntax heads for each operator#575
Keno wants to merge 2 commits into
kf/dotsfrom
kf/rmopkinds

Commits

Commits on Jul 10, 2025

Commits on Jul 11, 2025