Skip to content

Three things about a rule that can be measured rather than declared (#825) - #1170

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
rule-definedness-and-cost
Sep 5, 2026
Merged

Three things about a rule that can be measured rather than declared (#825)#1170
Rafael-SOWNet merged 1 commit into
masterfrom
rule-definedness-and-cost

Three things about a rule that can be measured rather than declared

1c0a3f6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar