Skip to content

Commit 3bab7a1

Browse files
committed
Fix typo in docs
1 parent 0cb26ef commit 3bab7a1

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
@@ -104,6 +104,6 @@ Here is the new syntax for given instances, seen as a delta from the [standard c
104104
TmplDef ::= ...
105105
| ‘given’ GivenDef
106106
GivenDef ::= [GivenSig] Type ‘=’ Expr
107-
| [GivenSig] ConstrApp {‘,’ ConstrApp } [TemplateBody]
107+
| [GivenSig] ConstrApps [TemplateBody]
108108
GivenSig ::= [id] [DefTypeParamClause] {UsingParamClause} ‘as’
109109
```

0 commit comments

Comments
 (0)