diff options
Diffstat (limited to 'doc/changelog/02-specification-language/10049-bidi-app.rst')
| -rw-r--r-- | doc/changelog/02-specification-language/10049-bidi-app.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/changelog/02-specification-language/10049-bidi-app.rst b/doc/changelog/02-specification-language/10049-bidi-app.rst deleted file mode 100644 index 024795f5da..0000000000 --- a/doc/changelog/02-specification-language/10049-bidi-app.rst +++ /dev/null @@ -1,7 +0,0 @@ -- **Added:** - Annotation in `Arguments` for bidirectionality hints: it is now possible - to tell type inference to use type information from the context once the `n` - first arguments of an application are known. The syntax is: - `Arguments foo x y & z`. See :cmd:`Arguments (bidirectionality hints)` - (`#10049 <https://github.com/coq/coq/pull/10049>`_, by Maxime Dénès with - help from Enrico Tassi). |