Skip to content

Derive normalization rules from phino as checked data#72

Open
yegor256 wants to merge 13 commits into
masterfrom
rules-as-checked-data
Open

Derive normalization rules from phino as checked data#72
yegor256 wants to merge 13 commits into
masterfrom
rules-as-checked-data

ci: regenerate Rules.lean too in the build, drop rules-in-sync

6058493
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar