Deploying to web from @ 4678abc 🚀

Author: github-merge-queue[bot]

plfa.epub

@@ -8,7 +8,7 @@
     </description>
     <language>en</language>
     <atom:link href="https://plfa.github.io//rss.xml" rel="self" type="application/rss+xml" />
-    <lastBuildDate>Fri, 23 Jan 2026 22:19:36 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 26 Jan 2026 12:15:19 +0000</lastBuildDate>
         <item>
       <title>Migration to Agda 2.7.0</title>
       <link>https://plfa.github.io//2024/09/05/migration-to-agda-2-7-0/index.html</link>