diff options
| author | Paul Buetow <paul@buetow.org> | 2010-05-09 10:19:35 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2010-05-09 10:19:35 +0000 |
| commit | 5e108defdc5d94252eb81a25b084e39a782a5b03 (patch) | |
| tree | e303de0c5456c2cbb369c110ec583da6930f9ad6 | |
| parent | 1030b87acb586d756e9d5a39f5dfea8fe8af517f (diff) | |
fixed the lambda rules
| -rw-r--r-- | docs/fype.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/fype.txt b/docs/fype.txt index c791a8b..87ebee2 100644 --- a/docs/fype.txt +++ b/docs/fype.txt @@ -2,8 +2,8 @@ Lambda Rules (1) x ϵ V => x ϵ Λ (2) M,N ϵ Λ => (M N) ϵ Λ (Application) -(3) M ϵ Λ and x ϵ V => (λ M) ϵ Λ (Abstraction) -(4) No further Terms in Lambda existent +(3) M ϵ Λ and x ϵ V => (λx.M) ϵ Λ (Abstraction) +(4) No further Terms in Λ existent (λx.(λy.x)) ≡ λx.λy.x ≡ λxy.x ≡ False (λx.(λy.y)) ≡ λx.λy.y ≡ λxy.y ≡ True |