Website of the University of Hong Kong Programming Languages Group
Theme based on plwonks
You can follow the guide here to update the website. The general procedure is to add/edit files and then push the changes to Github. The Github pages will automatically update the website once your push is accepted.
Create a new markdown file in _posts folder. The filename should be "date + short title (3-4 words)", e.g. 2017-07-01-an-awesome-title.md. The file template is as follows (texts inside '<>' are hints for putting the actual content):
---
layout: post
title: "<the title, need quotation marks>"
authors: "<the author(s), need quotation marks>"
date: yyyy-mm-dd HH:MM:SS +0800
venue: "<the venue, need quotation marks>"
categories: <short name of author, no quotation marks> <the year>
---
## Abstract
<abstract here>Title, authors and venue should be wrapped by double quotation marks. But do not put any quotations marks in the entries of "categories". Jekyll, the blog engine, just doesn't like it. You can also check the existing posts for reference, e.g. 2015-02-12-object-algebras-in.md.