diff options
| author | Boris Verkhovskiy <boris.verk@gmail.com> | 2024-04-06 08:36:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-06 08:36:26 -0700 |
| commit | 111ff839f3a9b96fecd1d186340bf57e0f27e177 (patch) | |
| tree | 30d433ba19ec49808cc0f0de8a161835ad5f29c9 /es-es/lambda-calculus-es.html.markdown | |
| parent | 9fa4b5af80f1cd7fe2469c198d02a21e4f8884a1 (diff) | |
| parent | 3e687f1a8ccb1cd0d52a966005551d528ca141df (diff) | |
Merge pull request #4881 from verhovsky/trailing-newlines
Remove leading and trailing empty lines in code blocks
Diffstat (limited to 'es-es/lambda-calculus-es.html.markdown')
| -rw-r--r-- | es-es/lambda-calculus-es.html.markdown | 5 |
1 files changed, 5 insertions, 0 deletions
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)) |