diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-15 17:34:48 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-15 17:34:48 +0100 |
| commit | 2c2e2af0659615c373aba8db82119e5eeba1bb49 (patch) | |
| tree | ed7b8d3007a1a0ad66edd7d843f0db0c4e229813 /doc/sphinx/credits.rst | |
| parent | 32a12f974d29d11c4c010dbca92c02cba33ab716 (diff) | |
Fix some items in Credits
Diffstat (limited to 'doc/sphinx/credits.rst')
| -rw-r--r-- | doc/sphinx/credits.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/sphinx/credits.rst b/doc/sphinx/credits.rst index b4d816f9f..ad7b8c446 100644 --- a/doc/sphinx/credits.rst +++ b/doc/sphinx/credits.rst @@ -1309,10 +1309,7 @@ with a few new features. The main user visible changes are: - Kernel: fix a subject reduction failure due to allowing fixpoints on non-recursive values, which allows to recover full parametricity for CIC, by Matthieu Sozeau. Handling of evars in the VM (the kernel - still does not accept evars) by Maxime Dénès. - -- Gallina: always use the projection printing style for primitive - projections by Maxime Dénès. + still does not accept evars) by Pierre-Marie Pédrot. - Notations: many improvements on recursive notations and integration with pattern binding by Hugo Herbelin. |