From 5e108defdc5d94252eb81a25b084e39a782a5b03 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 May 2010 10:19:35 +0000 Subject: fixed the lambda rules --- docs/fype.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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 -- cgit v1.2.3