Skip to content

NFC: test sum(iszero, xs) - #535

Merged
devmotion merged 5 commits into
mainfrom
ox/testsumiszero
Oct 25, 2026
Merged

devmotion merged 5 commits into
mainfrom
ox/testsumiszero