From a3f809994d8dc4859fd263a0c0b40afa0b54334e Mon Sep 17 00:00:00 2001 From: wadler Date: Tue, 14 Mar 2017 15:31:32 +0000 Subject: [PATCH] updated config --- _config.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/_config.yml b/_config.yml index 1b06de68..4308ddc9 100644 --- a/_config.yml +++ b/_config.yml @@ -1,4 +1,4 @@ -title: Agda Software Foundations +title: Software Foundations in Agda # the author field should not be used in the template author: Pepijn Kokke @@ -9,9 +9,12 @@ contributors: - name: Pepijn Kokke email: pepijn.kokke@ed.ac.uk github_username: pepijnkokke + - name: Philip Wadler + email: wadler@inf.ed.ac.uk + github_username: wadler description: > - There should be a description here. + Software Foundations in Agda. # include disqus to allow comments e.d. disqus: