diff options
-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 |