Deploying to web from @ 0666ea9 🚀

Agda-zh · Mar 10, 2024 · 6036989 · 6036989
1 parent b806e69
commit 6036989
Show file tree

Hide file tree

Showing 8 changed files with 1,694 additions and 1,694 deletions.
diff --git a/Adequacy/index.html b/Adequacy/index.html
diff --git a/Compositional/index.html b/Compositional/index.html
diff --git a/ContextualEquivalence/index.html b/ContextualEquivalence/index.html
diff --git a/Denotational/index.html b/Denotational/index.html
diff --git a/Soundness/index.html b/Soundness/index.html
diff --git a/plfa.epub b/plfa.epub
diff --git a/plfa.html b/plfa.html
diff --git a/rss.xml b/rss.xml
@@ -8,7 +8,7 @@
     </description>
     <language>zh-CN</language>
     <atom:link href="https://agda-zh.github.io/PLFA-zh//rss.xml" rel="self" type="application/rss+xml" />
-    <lastBuildDate>Sun, 10 Mar 2024 18:31:08 +0000</lastBuildDate>
+    <lastBuildDate>Sun, 10 Mar 2024 20:24:12 +0000</lastBuildDate>
         <item>
       <title>Migration to Agda 2.6.3</title>
       <link>https://agda-zh.github.io/PLFA-zh//2023/02/26/migration-to-agda-2-6-3/index.html</link>