diff options
| author | Matthieu Sozeau | 2020-12-01 14:51:15 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-12-03 16:03:37 +0100 |
| commit | 2dbc0f240a861870c5d59e35749b446b0fe824bf (patch) | |
| tree | 81035fdf027fbcc3e7c7b97c64ae170841c917ed | |
| parent | 3c4d2c9e3b7100a0012ad06b33b46fe7dca6cd29 (diff) | |
Add an anchor in syntax-extensions
| -rw-r--r-- | doc/sphinx/user-extensions/syntax-extensions.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst index df73de846f..64deb692fd 100644 --- a/doc/sphinx/user-extensions/syntax-extensions.rst +++ b/doc/sphinx/user-extensions/syntax-extensions.rst @@ -588,6 +588,8 @@ As an exception, if the right-hand side is just of the form :n:`@@qualid`, this conventionally stops the inheritance of implicit arguments (but not of notation scopes). +.. _notations-and-binders: + Notations and binders ~~~~~~~~~~~~~~~~~~~~~ |