_config.yml

# Site settings
title: HKU PL Group
permalink: 'pretty'
exclude: ['Gemfile', 'Gemfile.lock', 'node_modules', 'package.json', 'Gruntfile.js', 'README.md']
# email: not yet set
description: > # this means to ignore newlines until "baseurl:"
  Programming Languages Group at the University of Hong Kong
baseurl: "" # the subpath of your site, e.g. /blog/
url: "https://hkuplg.github.io" # the base hostname & protocol for your site
#twitter_username: hkuplg
github_username:  hkuplg
about: The programming languages group at the University of Hong Kong conducts research on programming language design and implementation, especially about type systems.
location: The University of Hong Kong

# Build settings
timezone: Asia/Hong_Kong
markdown: kramdown
future : true # so that pages in the future get built; doesn't work :/
highlighter: rouge
redcarpet:
  extensions: ["no_intra_emphasis", "fenced_code_blocks", "autolink", "tables", "with_toc_data"]