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

Merge branch 'main' into repo-assist/improve-forall2-exists2-20260429…

13a030b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar