Skip to content

Commit 718dacd

Browse files
authored
Update docs/docs/reference/contextual/givens.md
1 parent 746cff7 commit 718dacd

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
@@ -100,7 +100,7 @@ for given Context <- applicationContexts do
100100
pair match
101101
case (ctx as given Context, y) => ...
102102
```
103-
In the first fragment above, anonymous given instances for class `Context` are established by enumerating over `applicationContexts`. In the the second fragment, a given `Context`
103+
In the first fragment above, anonymous given instances for class `Context` are established by enumerating over `applicationContexts`. In the second fragment, a given `Context`
104104
instance named `ctx` is established by matching against the first half of the `pair` selector.
105105

106106
In each case, a pattern-bound given instance consists of `given` and a type `T`. The pattern matches exactly the same selectors as the type ascription pattern `_: T`.

0 commit comments

Comments
 (0)