diff options
Diffstat (limited to 'docs/_includes')
-rw-r--r-- | docs/_includes/faq.html | 8 | ||||
-rw-r--r-- | docs/_includes/features.html | 8 |
2 files changed, 12 insertions, 4 deletions
diff --git a/docs/_includes/faq.html b/docs/_includes/faq.html index 7c2126ac4..569162d57 100644 --- a/docs/_includes/faq.html +++ b/docs/_includes/faq.html @@ -86,6 +86,14 @@ Nicolas Stucki </div> </div> + <div class="contributors-cell"> + <div class="contributor"> + <a href="http://github.com/OlivierBlanvillain"> + <img src="{{ site.baseurl }}/images/olivier.jpeg"> + </a> + Olivier Blanvillain + </div> + </div> </div> <div class="centered-text"> diff --git a/docs/_includes/features.html b/docs/_includes/features.html index ba004d68b..0f8d4eab2 100644 --- a/docs/_includes/features.html +++ b/docs/_includes/features.html @@ -69,12 +69,12 @@ <td>In progress</td> </tr> <tr class="even"> - <td></td> - <td></td> + <td>HList & HMaps/Record types</td> + <td>In progress</td> </tr> <tr class="odd"> - <td>HList & HMaps/Record types</td> - <td>Considered</td> + <td></td> + <td></td> </tr> <tr class="even"> <td>Implicit functions</td> |