---
title: "Release Notes v20.07"
---

We are pleased to announce the release of v20.07 of Programming Language Foundations in Agda.

The release will be permanently available at:

- <https://plfa.github.io/20.07/>
- <https://plfa.inf.ed.ac.uk/20.07/>