lambda-encoding -- 修复各种 Nat 编码满足的公理

cicada-lang · Aug 2, 2024 · 1d72b4d · 1d72b4d
1 parent 82dd0f4
commit 1d72b4d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/lambda-calculus/src/lambda-encoding.md b/docs/lambda-calculus/src/lambda-encoding.md
@@ -134,7 +134,7 @@ subtitle: Lambda Encoding
 满足如下公理：
 
 ```scheme
-(which-Nat zero base step) = zero
+(which-Nat zero base step) = base
 (which-Nat (add1 prev) base step) = (step prev)
 ```
 
@@ -183,7 +183,7 @@ subtitle: Lambda Encoding
 满足如下公理：
 
 ```scheme
-(iter-Nat zero base step) = zero
+(iter-Nat zero base step) = base
 (iter-Nat (add1 prev) base step) = (step (iter-Nat prev base step))
 ```
 
@@ -261,7 +261,7 @@ n  (n-1 . n)
 满足如下公理：
 
 ```scheme
-(rec-Nat zero base step) = zero
+(rec-Nat zero base step) = base
 (rec-Nat (add1 prev) base step) = (step prev (rec-Nat prev base step))
 ```