Skip to content

[Repo Assist] Add AsyncSeq.exists2, exists2Async, forall2, forall2Async - #322

Merged
dsyme merged 5 commits into
mainfrom
repo-assist/improve-forall2-exists2-20260429-5fd2d38a847baee0
Jul 29, 2026
Merged

[Repo Assist] Add AsyncSeq.exists2, exists2Async, forall2, forall2Async#322
dsyme merged 5 commits into
mainfrom
repo-assist/improve-forall2-exists2-20260429-5fd2d38a847baee0

Commits

Commits on Apr 29, 2026