Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add new ED to website #207

Merged
merged 2 commits into from
May 2, 2022
Merged

Add new ED to website #207

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
3f637d4
Add new ED to website
david-christiansen May 2, 2022
20fbbd1
Add website metadata for David Christiansen and exec template
david-christiansen May 2, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file added assets/images/exec-team/dtc.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
7 changes: 5 additions & 2 deletions templates/who-we-are/exec-and-board.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand All @@ -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)$
Expand All @@ -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>
Expand Down
12 changes: 12 additions & 0 deletions who-we-are/people/davidchristiansen.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
---
name: David Thrane Christiansen
email: [email protected]
title: Executive Director
executiveTeam: "True"
tenureStart: 2022-05-02
image: /assets/images/exec-team/dtc.png
website: https://davidchristiansen.dk
---
david-christiansen marked this conversation as resolved.
Show resolved Hide resolved
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.