diff options
| author | Olivier Laurent | 2020-03-30 19:14:00 +0200 |
|---|---|---|
| committer | Olivier Laurent | 2020-04-01 15:49:41 +0200 |
| commit | 74d733a11cd942847a24fedca9cbc0583190162d (patch) | |
| tree | abafffe80720e2972db963475f57572dc729de6f /doc | |
| parent | e1427c1d803a975784cdb9375dbca9da33c58c6c (diff) | |
add tests for notations with sigma types
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/10-standard-library/11957-signotations.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/changelog/10-standard-library/11957-signotations.rst b/doc/changelog/10-standard-library/11957-signotations.rst new file mode 100644 index 0000000000..fc5d434274 --- /dev/null +++ b/doc/changelog/10-standard-library/11957-signotations.rst @@ -0,0 +1,4 @@ +- **Added:** + notations for sigma types: ``{ x & P & Q }``, ``{ ' pat & P }``, ``{ ' pat & P & Q }`` + (`#11957 <https://github.com/coq/coq/pull/11957>`_, + by Olivier Laurent). |