From 1030b87acb586d756e9d5a39f5dfea8fe8af517f Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sun, 9 May 2010 10:12:28 +0000
Subject: added the lambda rules

---
 docs/fype.txt    | 48 ++++++++----------------------------------------
 docs/help.txt    |  4 ++--
 docs/version.txt |  2 +-
 src/build.h      |  2 +-
 test.fype        |  5 -----
 5 files changed, 12 insertions(+), 49 deletions(-)

diff --git a/docs/fype.txt b/docs/fype.txt
index 3a2726c..c791a8b 100644
--- a/docs/fype.txt
+++ b/docs/fype.txt
@@ -1,43 +1,11 @@
-Global Frame
+Lambda Rules
 
-v?: Variables
-p?: Parameters
-b?: Boolean expression (Returns #t or #f)
-t?: Term
-f: Function
-l?: List
+(1) x ϵ V => x ϵ Λ
+(2) M,N ϵ Λ => (M N) ϵ Λ (Application)
+(3) M ϵ Λ and x ϵ V => (λ M) ϵ Λ (Abstraction)
+(4) No further Terms in Lambda existent
 
-(f p1 p2 ...)
+(λx.(λy.x)) ≡ λx.λy.x ≡ λxy.x ≡ False
+(λx.(λy.y)) ≡ λx.λy.y ≡ λxy.y ≡ True
+λx.λy.((x y) False) ≡ λxy.((x y) False) ≡ "And"
 
-(define v1 t1)
-
-(lambda (v1 v2 ...) t1)
-
-(define foo (lambda (v1 v2 ...) t1))
-(define (foo (v1 v2 ...) t1))
-
-(if b1 t1 t2)
-(unless b1 t1 t2)
-(eq? t1 t2)
-(neq? t1 t2)
-(and b1 b2)
-(or b1 b2)
-(xor b1 b2)
-(not b1)
-
-(cond ((b1 t1)
-       (b2 t2)
-       ...
-       (else tn)))
-
-(let ((v1 t1)
-      (v2 t2)
-      ...)
-	t3)
-
-(cons t1 l1)
-(car l1)
-(cdr l1)
-(set-car l1 t1)
-(set-cdr l1 t1) 
-(list p1 p2 ...)
diff --git a/docs/help.txt b/docs/help.txt
index accc50e..29fbc7c 100644
--- a/docs/help.txt
+++ b/docs/help.txt
@@ -1,5 +1,5 @@
-Fype2 Alpha Build 10391
-(c) Paul C. Buetow (2005 - 2010) <fype@dev.buetow.org>
+LambdaFype Alpha Build 10393
+(c) Paul Buetow (2005 - 2010) <fype@dev.buetow.org>
 	-e	Executes given code string (see synopses)
 	-h	Prints this help
 	-s	Prints the synopsis
diff --git a/docs/version.txt b/docs/version.txt
index 84447fd..107b1be 100644
--- a/docs/version.txt
+++ b/docs/version.txt
@@ -1 +1 @@
-Fype2 Alpha Build 10391
+LambdaFype Alpha Build 10393
diff --git a/src/build.h b/src/build.h
index a474200..26f3009 100644
--- a/src/build.h
+++ b/src/build.h
@@ -35,7 +35,7 @@
 #ifndef BUILD_H
 #define BUILD_H
 
-#define BUILDNR 10391
+#define BUILDNR 10393
 #define OS_LINUX
 
 #endif
diff --git a/test.fype b/test.fype
index 0251e06..e69de29 100644
--- a/test.fype
+++ b/test.fype
@@ -1,5 +0,0 @@
-#*
-Lambda Fype Syntax:
-
-
-*#
-- 
cgit v1.2.3