Skip to content

Commit 20fbbd1

Browse files
Add website metadata for David Christiansen and exec template
1 parent 3f637d4 commit 20fbbd1

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,6 +60,11 @@ <h3 class="text-xl font-semibold">$name$</h3>
6060
<div>
6161
<a class="arrow-link" href="mailto:$email$">>> $email$</a>
6262
</div>
63+
$if(website)$
64+
<div>
65+
<a class="arrow-link" href="$website$">>> $website$</a>
66+
</div>
67+
$endif$
6368
</div>
6469
$endfor$
6570
</div>

who-we-are/people/davidchristiansen.markdown

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ title: Executive Director
55
executiveTeam: "True"
66
tenureStart: 2022-05-02
77
image: /assets/images/exec-team/dtc.png
8+
website: https://davidchristiansen.dk
89
---
910
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.
1011

0 commit comments

Comments
 (0)