michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

updated config

Browse source
This commit is contained in:
wadler 2017-03-14 15:31:32 +00:00
parent b24f041240
commit a3f809994d
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
_config.yml
View file

@ -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: