diff options
| -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 |