diff options
| author |  Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-04-11 12:47:29 +0200 |
|---|---|---|
| committer | Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-04-11 12:54:18 +0200 |
| commit | d70af8a387d1199be3327b3e4ef21dda9bb2155e (patch) | |
| tree | a6b13c86dd78094d82f87807376a266075c031e5 /doc | |
| parent | fe99efdbe409e47f20776c62a76d4de7f0188afc (diff) | |
Update RefMan-pre to mention template polymorphism.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/refman/RefMan-pre.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex index f36969e82..0441f952d 100644 --- a/doc/refman/RefMan-pre.tex +++ b/doc/refman/RefMan-pre.tex @@ -529,7 +529,7 @@ intensive computations. Christine Paulin implemented an extension of inductive types allowing recursively non uniform parameters. Hugo Herbelin implemented -sort-polymorphism for inductive types. +sort-polymorphism for inductive types (now called template polymorphism). Claudio Sacerdoti Coen improved the tactics for rewriting on arbitrary compatible equivalence relations. He also generalized rewriting to |