Apply suggestions from code review

Co-authored-by: Markus Himmel <[email protected]>
leanprover · Jan 13, 2025 · aa17466 · aa17466
1 parent f1e506a
commit aa17466
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Std/Internal/Async/Basic.lean b/src/Std/Internal/Async/Basic.lean
@@ -32,7 +32,7 @@ instance : Pure AsyncTask where
 /--
 Create a new `AsyncTask` that will run after `x` has finished.
 If `x`:
-- errors, return an `AsyncTask` that reolves to the error.
+- errors, return an `AsyncTask` that resolves to the error.
 - succeeds, run `f` on the result of `x` and return the `AsyncTask` produced by `f`.
 -/
 @[inline]

diff --git a/src/Std/Internal/Async/Timer.lean b/src/Std/Internal/Async/Timer.lean
@@ -56,7 +56,7 @@ def reset (s : Sleep) : IO Unit :=
 
 /--
 If:
-- `s` is still running this stops `s` without resolving any remaing `AsyncTask` that were created
+- `s` is still running this stops `s` without resolving any remaining `AsyncTask`s that were created
   through `wait`. Note that if another `AsyncTask` is binding on any of these it is going hang
   forever without further intervention.
 - `s` is not yet or not anymore running this is a no-op.