From f9b8234221d7aea68db0da1b8b5f68f754b35698 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 7 Jun 2021 12:26:36 +0100 Subject: [PATCH] Link to examiners --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index a00d7f5..b1791a3 100644 --- a/README.md +++ b/README.md @@ -11,10 +11,10 @@ Submitted May 30, 2021. Pending examination. The board of examiners consists of -* Andrew Kennedy (Facebook) -* Edwin Brady (St. Andrews) -* Ohad Kammar (The University of Edinburgh) -* Stephen Gilmore (The University of Edinburgh) +* [Andrew Kennedy](https://github.com/andrewjkennedy) (Facebook London) +* [Edwin Brady](https://www.type-driven.org.uk/edwinb/) (University of St Andrews) +* [Ohad Kammar](http://denotational.co.uk/) (The University of Edinburgh) +* [Stephen Gilmore](https://homepages.inf.ed.ac.uk/stg/) (The University of Edinburgh) ## Thesis structure