up

xieyuheng · xieyuheng · commit 30ccadc5ae42 · 2024-04-17T00:06:45.000+08:00
diff --git a/docs/lambda-calculus/book.json b/docs/lambda-calculus/book.json
@@ -6,7 +6,7 @@
   "date": "2024-04-11",
   "src": "src",
   "contents": [
-    "encoding.md",
+    "lambda-encoding.md",
     "fixpoint.md",
     "self-type.md"
   ]
