diff options
| -rw-r--r-- | doc/whodidwhat/whodidwhat-8.5update.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/whodidwhat/whodidwhat-8.5update.tex b/doc/whodidwhat/whodidwhat-8.5update.tex index 696fff4f7..78b7b1d3e 100644 --- a/doc/whodidwhat/whodidwhat-8.5update.tex +++ b/doc/whodidwhat/whodidwhat-8.5update.tex @@ -29,6 +29,7 @@ \item Transparency/opacity: Bruno Barras \item Bytecode-based conversion: Benjamin Grégoire \item Binary-words retroknowledge: Arnaud Spiwack + \item Native code based conversion: Maxime Dénès, Benjamin Grégoire \end{itemize} \item The universe hierarchy \begin{itemize} @@ -40,7 +41,8 @@ \item Type-checking: Christine Paulin \item Positivity condition: Christine Paulin \item Guardness condition for fixpoints: Christine Paulin; - extensions by Eduardo Gimenez, Bruno Barras, Pierre Boutillier + extensions by Eduardo Gimenez, Bruno Barras, Pierre Boutillier; fixes by + Bruno Barras, Maxime Dénès \item Recursively non-uniform parameters: Christine Paulin \item Sort-polymorphism of inductive types: Hugo Herbelin \end{itemize} |