---
title: "Release Notes 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/>