v22.08

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

The release will be permanently available at:

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

Changes:

• We have migrated to Agda v2.6.2.2 with standard library v1.7.1.
• Our contributors have contributed numerous fixes to the text.
• Support for dark mode was added by Wen Kokke.
  To activate click the moon in the header or add ?dark=true to the URL.

We are grateful to the many individuals who have made contributions,
which have improved the book significantly.