From f56a8b3246adca23ed76beefb0eb5102e70f6d97 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Mon, 23 Jan 2017 17:17:55 +0100 Subject: Add @OlivierBlanvillain to the core devs --- docs/_includes/faq.html | 8 ++++++++ docs/_includes/features.html | 8 ++++---- docs/images/olivier.jpeg | Bin 0 -> 10202 bytes docs/index.html | 1 + 4 files changed, 13 insertions(+), 4 deletions(-) create mode 100644 docs/images/olivier.jpeg (limited to 'docs') 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 +
+
+ + + + Olivier Blanvillain +
+
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 @@ In progress - - + HList & HMaps/Record types + In progress - HList & HMaps/Record types - Considered + + Implicit functions diff --git a/docs/images/olivier.jpeg b/docs/images/olivier.jpeg new file mode 100644 index 000000000..7c11e1de3 Binary files /dev/null and b/docs/images/olivier.jpeg differ diff --git a/docs/index.html b/docs/index.html index 5870c5994..7e9ed7717 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,4 +1,5 @@ --- +title: Dotty layout: main extraCSS: - css/animate.css -- cgit v1.2.3