Merge pull request #207 from haskellfoundation/add-david-c

Add new ED to website

Author: goldfirere

assets/images/exec-team/dtc.png

@@ -33,7 +33,6 @@
       <h1 class="text-2xl-5xl">Who We Are</h1>
     </div>
   </div>
-<!--
   <div class="xl:max-w-screen-xl mx-auto md:px-12 lg:px-16">
     <div class="bg-gray-800 shadow-lg shadow-xl shadow-md shadow-sm px-6 sm:px-12 md:px-12 lg:px-16 py-16 md:py-20">
       <h2 class="text-gray-50 font-normal text-3xl-4xl text-center">Executive Team</h2>
@@ -44,7 +43,6 @@ <h2 class="text-gray-50 font-normal text-3xl-4xl text-center">Executive Team</h2
       </p>
     </div>
   </div>
--->
   <div class="max-w-screen-xl mx-auto px-4 sm:px-12 md:px-12 lg:px-16 py-16 md:py-24">
     <div class="mt-10 md:mt-12 lg:mt-16 xl:mt-20 grid gap-8 md:grid-cols-2">
       $for(currentexecutiveteam)$
@@ -62,6 +60,11 @@ <h3 class="text-xl font-semibold">$name$</h3>
           <div>
             <a class="arrow-link" href="mailto:$email$">>> $email$</a>
           </div>
+        $if(website)$
+        <div>
+          <a class="arrow-link" href="$website$">>> $website$</a>
+        </div>
+        $endif$
         </div>
       $endfor$
    </div>

templates/who-we-are/exec-and-board.html

@@ -0,0 +1,12 @@
+---
+name: David Thrane Christiansen
+email: david@haskell.foundation
+title: Executive Director
+executiveTeam: "True"
+tenureStart: 2022-05-02
+image: /assets/images/exec-team/dtc.png
+website: https://davidchristiansen.dk
+---
+David Thrane Christiansen has a background in software development and academic research. In academia, he worked on the boundary between advanced functional programming languages and metaprogramming, and implemented much of the interactive programming environment for Idris 1. In industry, he has worked on domain-specific languages for the financial sector at Deon Digital and tools for software verification and security at Galois. Throughout, he has worked as much as possible on making languages and ideas accessible, fun, and easy to get started with. Together with Daniel P. Friedman, David is a co-author of _The Little Typer_, an introductory book on dependent type theory.
+
+In addition to Haskell, David has significant experience with Racket, Kotlin, Idris, Python, and PHP. He is very interested in seeing what the Haskell community can learn from other communities of practice, and facilitating cross-pollination of ideas.