Skip to content

Commit

Permalink
Backport "fix code rendering error in givens.md" to 3.6.0 (#21771)
Browse files Browse the repository at this point in the history
Backports #21751 to 3.6.0-RC1

[skip ci]

Co-authored-by: Jamie Thompson <[email protected]>
  • Loading branch information
WojciechMazur and bishabosha authored Oct 15, 2024
1 parent a3015f4 commit 186f404
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions docs/_docs/reference/contextual/givens.md
Original file line number Diff line number Diff line change
Expand Up @@ -90,8 +90,6 @@ time it is accessed. If the given is a mere alias to some immutable value, the g
Here is the full syntax for given instances. Some of these forms of givens are explained in a separate page: [Other Forms of Givens](../more-givens.md).

```ebnf
Here is the complete context-free syntax for all proposed features.
```
TmplDef ::= ... | 'given' GivenDef
GivenDef ::= [id ':'] GivenSig
GivenSig ::= GivenImpl
Expand Down

0 comments on commit 186f404

Please sign in to comment.