Skip to content

Commit 4c1082f

Browse files
authored
Fix link to synthetized given names
1 parent 4cc224b commit 4c1082f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/contextual/givens.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ the implemented type(s).
5353
given_Ord_Int
5454
given_Ord_List_T
5555
```
56-
The precise rules for synthesizing names are found in [./relationship-implicit.html]. These rules do not guarantee absence of name conflicts between
56+
The precise rules for synthesizing names are found [here](./relationship-implicits.html#anonymous-given-instances). These rules do not guarantee absence of name conflicts between
5757
given instances of types that are "too similar". To avoid conflicts one can
5858
use named instances.
5959

0 commit comments

Comments
 (0)