Def IO.waitAny'

Modification history

2023-12-14 05:07

Mathlib/Lean/System/IO.lean

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

Deleted IO.waitAny'View on Github →

2023-06-14 06:16

Mathlib/Lean/System/IO.lean

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

Added IO.waitAny'View on Github →