Skip to content

WarblreEquiv: another way to avoid generating Unions of CdEmpty - #38

Merged
Aurele-Barriere merged 1 commit into
mainfrom
aurele/simplify-warblre-equiv
Jun 30, 2026
Merged

WarblreEquiv: another way to avoid generating Unions of CdEmpty#38
Aurele-Barriere merged 1 commit into
mainfrom
aurele/simplify-warblre-equiv

WarblreEquiv: another way to avoid generating Unions of CdEmpty

2c9f1e9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check Linden (9.1.1)
succeeded Jun 29, 2026 in 5m 14s