From 0f65d460f94b1f7b9b57e30a4166f58134cd9d9c Mon Sep 17 00:00:00 2001 From: Andrzej Ratajczak Date: Tue, 8 Dec 2020 11:53:09 +0100 Subject: [PATCH] Fix givens docs typo --- docs/docs/reference/contextual/givens.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/contextual/givens.md b/docs/docs/reference/contextual/givens.md index accbe642cd1d..b7670698ee68 100644 --- a/docs/docs/reference/contextual/givens.md +++ b/docs/docs/reference/contextual/givens.md @@ -32,7 +32,7 @@ This code defines a trait `Ord` with two given instances. `intOrd` defines a given for the type `Ord[Int]` whereas `listOrd[T]` defines givens for `Ord[List[T]]` for all types `T` that come with a given instance for `Ord[T]` themselves. The `using` clause in `listOrd` defines a condition: There must be a -given of type `Ord[T]` for a given of type `List[Ord[T]]` to exist. +given of type `Ord[T]` for a given of type `Ord[List[T]]` to exist. Such conditions are expanded by the compiler to [context parameters](./using-clauses.html).