Def List.waitAll

Modification history

2023-12-14 05:07

Mathlib/Lean/System/IO.lean

chore: update Std dependency to match leanprover/std4#397 (#9039)

Deleted List.waitAll View on Github →

2023-06-14 06:16

Mathlib/Lean/System/IO.lean

feat: IO.waitAny', that also returns the remaining tasks (#3620) …

Added List.waitAll View on Github →