diff options
| author | roberthoedicke <robert@duckbuddha.com> | 2014-10-08 23:21:13 +0200 |
|---|---|---|
| committer | roberthoedicke <robert@duckbuddha.com> | 2014-10-08 23:21:13 +0200 |
| commit | d46c024c55598448c0861c4d3b2f5426b6d8f408 (patch) | |
| tree | fb856a38ad56502242f52dfa7fb34fc7e1d8c759 | |
| parent | db33bbdd2955966c4799224d71f17ea001af290e (diff) | |
| download | scala-d46c024c55598448c0861c4d3b2f5426b6d8f408.tar.gz scala-d46c024c55598448c0861c4d3b2f5426b6d8f408.tar.bz2 scala-d46c024c55598448c0861c4d3b2f5426b6d8f408.zip | |
Update 03-types.md
Fixed typo.
| -rw-r--r-- | spec/03-types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index 2cc5facc4e..5596eaf8ba 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 |