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

Merge branch 'gh-pages' of https://github.com/wenkokke/sf into gh-pages

Browse source 
Someone (I guess Wen) changed the repository while I was editing. -- P
This commit is contained in:
wadler 2017-06-20 17:19:44 +01:00
commit 1a24629bed
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
_config.yml
View file

@ -1,14 +1,14 @@
title: Software Foundations in Agda title: Software Foundations in Agda
# the author field should not be used in the template # the author field should not be used in the template
author: Pepijn Kokke author: Wen Kokke
# to include a new contributor, add: # to include a new contributor, add:
# name, email, (github_username or twitter_username) # name, email, (github_username or twitter_username)
contributors: contributors:
- name: Pepijn Kokke - name: Wen Kokke
email: pepijn.kokke@ed.ac.uk email: wen.kokke@ed.ac.uk
github_username: pepijnkokke github_username: wenkokke
- name: Philip Wadler - name: Philip Wadler
email: wadler@inf.ed.ac.uk email: wadler@inf.ed.ac.uk
github_username: wadler github_username: wadler
@ -18,11 +18,11 @@ description: >
# include disqus to allow comments e.d. # include disqus to allow comments e.d.
disqus: disqus:
shortname: pepijnkokke shortname: wenkokke
# technical details below --- do not modify (ง'-')ง # technical details below --- do not modify (ง'-')ง
baseurl: "/sf" baseurl: "/sf"
url: "https://pepijnkokke.github.io" url: "https://wenkokke.github.io"
markdown: kramdown markdown: kramdown
theme: minima theme: minima
gems: gems: