diff --git a/docs/docs/reference/contextual/motivation-new.md b/docs/docs/reference/contextual/motivation-new.md index 50add4815613..db2a695c5480 100644 --- a/docs/docs/reference/contextual/motivation-new.md +++ b/docs/docs/reference/contextual/motivation-new.md @@ -49,7 +49,7 @@ The following pages introduce a redesign of contextual abstractions in Scala. Th 1. [Given Instances](./givens.md) are a new way to define basic terms that can be synthesized. They replace implicit definitions. The core principle of the proposal is that, rather than mixing the `implicit` modifier with a large number of features, we have a single way to define terms that can be synthesized for types. - 2. [Using Clauses](./context-parameters.md) define are a new syntax for implicit _parameters_ and their _arguments_. It unambiguously aligns parameters and arguments, solving a number of language warts. It also allows us to have several with clauses in a definition. + 2. [Using Clauses](./context-parameters.md) are a new syntax for implicit _parameters_ and their _arguments_. It unambiguously aligns parameters and arguments, solving a number of language warts. It also allows us to have several `using` clauses in a definition. 3. ["Given" Imports](./given-imports.md) are a new class of import selectors that specifically import givens and nothing else. diff --git a/docs/docs/reference/contextual/motivation.md b/docs/docs/reference/contextual/motivation.md index 0a219547a931..0a1a75e686fd 100644 --- a/docs/docs/reference/contextual/motivation.md +++ b/docs/docs/reference/contextual/motivation.md @@ -4,7 +4,7 @@ title: "Overview" --- **Note** The syntax described in this section is currently under revision. -[Here is the new version which will be implemented in Dotty 0.22](./motovation-new.html). +[Here is the new version which will be implemented in Dotty 0.22](./motivation-new.html). ### Critique of the Status Quo