Skip to content

any for an empty array returns false#203

Merged
dlfivefifty merged 2 commits intoJuliaArrays:masterfrom
jishnub:anyempty
Jan 3, 2023
Merged

any for an empty array returns false#203
dlfivefifty merged 2 commits intoJuliaArrays:masterfrom
jishnub:anyempty

Commits

Commits on Jan 3, 2023