diff --git a/plfa.epub b/plfa.epub index 51133aae9..f225f9ab0 100644 Binary files a/plfa.epub and b/plfa.epub differ diff --git a/rss.xml b/rss.xml index 30dc5c468..12e7bf786 100644 --- a/rss.xml +++ b/rss.xml @@ -8,7 +8,7 @@ en - Sun, 07 Jan 2024 21:45:22 +0000 + Mon, 08 Jan 2024 20:23:01 +0000 Migration to Agda 2.6.3 https://plfa.github.io//2023/02/26/migration-to-agda-2-6-3/index.html