Skip to content

Enable explicit types for infix rules - #1954

Merged
spoenemann merged 4 commits into
mainfrom
infix-rule-types
Jul 9, 2025
Merged

spoenemann merged 4 commits into
mainfrom
infix-rule-types

Commits

  1. Commits on Jul 9, 2025