diff options
| author | Paul Buetow <paul@buetow.org> | 2010-05-09 10:12:28 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2010-05-09 10:12:28 +0000 |
| commit | 1030b87acb586d756e9d5a39f5dfea8fe8af517f (patch) | |
| tree | 078860e7a5390e62e72350b330f25af5906f7ccc | |
| parent | c630dea8a92e60d83bacfdcd97871944cf219653 (diff) | |
added the lambda rules
| -rw-r--r-- | docs/fype.txt | 48 | ||||
| -rw-r--r-- | docs/help.txt | 4 | ||||
| -rw-r--r-- | docs/version.txt | 2 | ||||
| -rw-r--r-- | src/build.h | 2 | ||||
| -rw-r--r-- | 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 @@ -1,5 +0,0 @@ -#* -Lambda Fype Syntax: - - -*# |