Merge pull request #2119 from performantdata/patch-2

Philippus · web-flow · commit e6678e9f450c · 2021-07-12T08:59:14.000+02:00
replace possessive with conjugation
diff --git a/_overviews/scala3-book/types-dependent-function.md b/_overviews/scala3-book/types-dependent-function.md
@@ -21,7 +21,7 @@ trait DB {
   def get(k: Key): Option[k.Value] // a dependent method
 }
 ```
-Given a key, the method `get` let's us access the map and potentially returns the stored value of type `k.Value`.
+Given a key, the method `get` lets us access the map and potentially returns the stored value of type `k.Value`.
 We can read this _path-dependent type_ as: "depending on the concrete type of the argument `k`, we return a matching value".
 
 For example, we could have the following keys:

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ trait DB {`
`21`	`21`	`def get(k: Key): Option[k.Value] // a dependent method`
`22`	`22`	`}`
`23`	`23`	```
`24`		-Given a key, the method `get` let's us access the map and potentially returns the stored value of type `k.Value`.
	`24`	+Given a key, the method `get` lets us access the map and potentially returns the stored value of type `k.Value`.
`25`	`25`	We can read this _path-dependent type_ as: "depending on the concrete type of the argument `k`, we return a matching value".
`26`	`26`
`27`	`27`	`For example, we could have the following keys:`