diff options
Diffstat (limited to 'spec/03-types.md')
| -rw-r--r-- | spec/03-types.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index 2cc5facc4e..d067d45ab2 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -821,7 +821,7 @@ the following holds: parameters by another, the result types as well as variances, lower and upper bounds of corresponding type parameters are equivalent. -[^congruence]: A congruence is an equivalence relation which is closed under formation of contexts +[^congruence]: A congruence is an equivalence relation which is closed under formation of contexts. [^implicit]: A method type is implicit if the parameter section that defines it starts with the `implicit` keyword. ### Conformance @@ -939,7 +939,7 @@ limit [^4]. The least upper bound or greatest lower bound might also not be unique. For instance `A with B` and `B with A` are both -greatest lower of `A` and `B`. If there are several +greatest lower bounds of `A` and `B`. If there are several least upper bounds or greatest lower bounds, the Scala compiler is free to pick any one of them. |