From d46c024c55598448c0861c4d3b2f5426b6d8f408 Mon Sep 17 00:00:00 2001 From: roberthoedicke Date: Wed, 8 Oct 2014 23:21:13 +0200 Subject: Update 03-types.md Fixed typo. --- spec/03-types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec/03-types.md') 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 -- cgit v1.2.3