We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents b950543 + c7032f4 commit 836ed97Copy full SHA for 836ed97
docs/_docs/reference/contextual/derivation-macro.md
@@ -35,8 +35,8 @@ inline given derived[T]: (m: Mirror.Of[T]) => Eq[T] = ???
35
```
36
37
Note, that since a type is used in a subsequent stage it will need to be lifted
38
-to a `Type` by using the corresponding context bound. Also, not that we can
39
-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
40
from the signature. The body of the `derived` method is shown below:
41
42
0 commit comments