From c7032f4baac9883cb78af88c4f82e6b8a2690684 Mon Sep 17 00:00:00 2001 From: Tom Grigg Date: Thu, 9 Jun 2022 21:06:58 -0700 Subject: [PATCH] Fix documentation typos --- docs/_docs/reference/contextual/derivation-macro.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_docs/reference/contextual/derivation-macro.md b/docs/_docs/reference/contextual/derivation-macro.md index c63c7e715208..3689018335dd 100644 --- a/docs/_docs/reference/contextual/derivation-macro.md +++ b/docs/_docs/reference/contextual/derivation-macro.md @@ -35,8 +35,8 @@ inline given derived[T]: (m: Mirror.Of[T]) => Eq[T] = ??? ``` Note, that since a type is used in a subsequent stage it will need to be lifted -to a `Type` by using the corresponding context bound. Also, not that we can -summon the quoted `Mirror` inside the body of the `derived` this we can omit it +to a `Type` by using the corresponding context bound. Also, note that we can +summon the quoted `Mirror` inside the body of the `derived` thus we can omit it from the signature. The body of the `derived` method is shown below: