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/