_config.yml

title: >
  Programming Languages Concepts

description: >
  An undergraduate-level introduction to programming language concepts, combining elements of Wadler et al.'s PLFA and Pierce's SF series with additional background material.

license: Creative Commons Attribution 4.0 International License
license-file: https://creativecommons.org/licenses/by/4.0/

repository: jphmrst/plfa.github.io
branch: dev

baseurl: ""
url: "https://plfa.github.io"
markdown: kramdown
theme: minima
exclude:
  - "hs/"
  - "extra/"
  - "depr/"
  - "papers/"
  - "slides/"
  - "vendor/"
  - "*.agdai"
  - "*.agda-lib"
  - "*.lagda.md"
  - "Guardfile"
  - "Gemfile"
  - "Gemfile.lock"
  - "highlight.sh"
  - "out/epub/acknowledgements.md"