diff options
| author | Marcel Ribeiro Dantas <ribeirodantasdm@gmail.com> | 2022-06-27 00:28:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-27 00:28:16 +0200 |
| commit | 5d133e847846b4c8d436f7a567674c2e1df35a13 (patch) | |
| tree | 7ebc7704f02ceef195a8896a80a06ed81cc12585 /lambda-calculus.html.markdown | |
| parent | 27f7f03401ff747a61a912fdf73549b1788b13e1 (diff) | |
| parent | 8f28c8021b8ce3cb791861ad19c41e12228d8bcd (diff) | |
Merge branch 'master' into patch-1
Diffstat (limited to 'lambda-calculus.html.markdown')
| -rw-r--r-- | lambda-calculus.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calculus.html.markdown b/lambda-calculus.html.markdown index 53a7a7cd..958dd746 100644 --- a/lambda-calculus.html.markdown +++ b/lambda-calculus.html.markdown @@ -131,7 +131,7 @@ We can convert an expression in the lambda calculus to an expression in the SKI combinator calculus: 1. `λx.x = I` -2. `λx.c = Kc` +2. `λx.c = Kc` provided that `x` does not occur free in `c` 3. `λx.(y z) = S (λx.y) (λx.z)` Take the church number 2 for example: |