Skip to content

[herd] More implicit transitive relations in the Cat interpreter#1719

Open
maranget wants to merge 4 commits intomasterfrom
more-transitive
Open

[herd] More implicit transitive relations in the Cat interpreter#1719
maranget wants to merge 4 commits intomasterfrom
more-transitive

Commits

Commits on Feb 19, 2026