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

<!-- more -->

Changes:

- We have migrated to [Agda v2.6.2.2][agda] with [standard library v1.7.1][agda-stdlib].
- Our contributors have contributed numerous fixes to the text.
- Support for dark mode was added by Wen Kokke.
  To activate click <i class="fas fa-moon">the moon in the header</i> or add `?dark=true` to the URL.

We are grateful to the [many individuals who have made contributions](/Acknowledgements/),
which have improved the book significantly.

[agda]: https://github.com/agda/agda/releases/tag/v2.6.2.2
[agda-stdlib]: https://github.com/agda/agda-stdlib/releases/tag/v1.7.1