From 7b95055821aab5e6d03a5b17dd6257139181f0a8 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 8 Jan 2015 14:39:58 +0100 Subject: Add a few words in whodidwhat. --- doc/whodidwhat/whodidwhat-8.5update.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'doc/whodidwhat') 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} -- cgit v1.2.3