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.

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/

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/