Skip to content

A rule's definition has a history, and a conclusion names the version it was drawn under - #913

Merged
WaylandYang merged 1 commit into
devfrom
feat/rule-versions
Sep 25, 2026
Merged

WaylandYang merged 1 commit into
devfrom
feat/rule-versions

Commits

Commits on Sep 25, 2026