From 3e687f1a8ccb1cd0d52a966005551d528ca141df Mon Sep 17 00:00:00 2001 From: Boris Verkhovskiy Date: Sat, 6 Apr 2024 08:33:50 -0700 Subject: Remove leading and trailing empty lines in code blocks --- es-es/lambda-calculus-es.html.markdown | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'es-es/lambda-calculus-es.html.markdown') diff --git a/es-es/lambda-calculus-es.html.markdown b/es-es/lambda-calculus-es.html.markdown index d49545c2..2465f7b1 100644 --- a/es-es/lambda-calculus-es.html.markdown +++ b/es-es/lambda-calculus-es.html.markdown @@ -141,6 +141,7 @@ Tome el número 2 de Church por ejemplo: `2 = λf.λx.f(f x)` Para la parte interior `λx.f(f x)`: + ``` λx.f(f x) = S (λx.f) (λx.(f x)) (case 3) @@ -149,6 +150,7 @@ Para la parte interior `λx.f(f x)`: ``` Así que: + ``` 2 = λf.λx.f(f x) @@ -158,6 +160,7 @@ Así que: ``` Para el primer argumento `λf.(S (K f))`: + ``` λf.(S (K f)) = S (λf.S) (λf.(K f)) (case 3) @@ -166,6 +169,7 @@ Para el primer argumento `λf.(S (K f))`: ``` Para el segundo argumento `λf.(S (K f) I)`: + ``` λf.(S (K f) I) = λf.((S (K f)) I) @@ -176,6 +180,7 @@ Para el segundo argumento `λf.(S (K f) I)`: ``` Uniéndolos: + ``` 2 = S (λf.(S (K f))) (λf.(S (K f) I)) -- cgit v1.2.3