v19.08

We are pleased to announce the release of v19.08 of Programming Language Foundations in Agda.

The release will be permanently available at:

• https://plfa.github.io/19.08/
• https://plfa.inf.ed.ac.uk/19.08/