Plfa.github.io Versions Save

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.

Stable release for the fall semester of 2019. Online at https://plfa.github.io/19.08/.

Stable release for the fall semester of 2019.

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/

Last release before the upgrade to Agda v2.6.1. Online at https://plfa.github.io/20.07/.

Last release before the upgrade to Agda v2.6.1.

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/