plfa
diff --git a/‎plfa.epub‎
-2 Bytes b/‎plfa.epub‎
-2 Bytes
diff --git a/‎rss.xml‎
Lines changed: 1 addition & 1 deletion b/‎rss.xml‎
Lines changed: 1 addition & 1 deletion
@@ -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, 16 Jan 2026 21:03:36 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 19 Jan 2026 21:23:03 +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>