From 38fee5e1e07acb428eba8974483bcdf262dcd89d Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 May 2010 09:40:21 +0000 Subject: modified the headers. --- docs/header.txt | 2 +- docs/help.txt | 2 +- docs/version.txt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'docs') diff --git a/docs/header.txt b/docs/header.txt index 83638b8..aeb1b4e 100644 --- a/docs/header.txt +++ b/docs/header.txt @@ -5,7 +5,7 @@ WWW: http://fype.buetow.org AUTHOR: http://paul.buetow.org E-Mail: fype at dev.buetow.org -The Fype Language; (c) 2005 - 2010 - Dipl.-Inform. (FH) Paul C. Buetow +The Fype Language; (c) 2005 - 2010 Paul Buetow Redistribution and use in source and binary forms, with or without modi- fication, are permitted provided that the following conditions are met: diff --git a/docs/help.txt b/docs/help.txt index 0033293..0755930 100644 --- a/docs/help.txt +++ b/docs/help.txt @@ -1,4 +1,4 @@ -Fype2 Alpha Build 10387 +Fype2 Alpha Build 10390 (c) Paul C. Buetow (2005 - 2010) -e Executes given code string (see synopses) -h Prints this help diff --git a/docs/version.txt b/docs/version.txt index d2c768b..e945d56 100644 --- a/docs/version.txt +++ b/docs/version.txt @@ -1 +1 @@ -Fype2 Alpha Build 10387 +Fype2 Alpha Build 10390 -- cgit v1.2.3 From b16caaa631ac8143c021c99fb16ce96cf69ead91 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 May 2010 09:43:11 +0000 Subject: --- docs/fype.txt | 43 +++++++++++++++++++++++++++++++++++++++++++ docs/pbsc.txt | 43 ------------------------------------------- 2 files changed, 43 insertions(+), 43 deletions(-) create mode 100644 docs/fype.txt delete mode 100644 docs/pbsc.txt (limited to 'docs') diff --git a/docs/fype.txt b/docs/fype.txt new file mode 100644 index 0000000..3a2726c --- /dev/null +++ b/docs/fype.txt @@ -0,0 +1,43 @@ +Global Frame + +v?: Variables +p?: Parameters +b?: Boolean expression (Returns #t or #f) +t?: Term +f: Function +l?: List + +(f p1 p2 ...) + +(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/pbsc.txt b/docs/pbsc.txt deleted file mode 100644 index 3a2726c..0000000 --- a/docs/pbsc.txt +++ /dev/null @@ -1,43 +0,0 @@ -Global Frame - -v?: Variables -p?: Parameters -b?: Boolean expression (Returns #t or #f) -t?: Term -f: Function -l?: List - -(f p1 p2 ...) - -(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 ...) -- cgit v1.2.3 From c630dea8a92e60d83bacfdcd97871944cf219653 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 May 2010 09:48:43 +0000 Subject: Renamed from Fype2 into LambdaFype --- docs/help.txt | 2 +- docs/stats.txt | 4 ++-- docs/version.txt | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) (limited to 'docs') diff --git a/docs/help.txt b/docs/help.txt index 0755930..accc50e 100644 --- a/docs/help.txt +++ b/docs/help.txt @@ -1,4 +1,4 @@ -Fype2 Alpha Build 10390 +Fype2 Alpha Build 10391 (c) Paul C. Buetow (2005 - 2010) -e Executes given code string (see synopses) -h Prints this help diff --git a/docs/stats.txt b/docs/stats.txt index 50cbda1..fd266c1 100644 --- a/docs/stats.txt +++ b/docs/stats.txt @@ -1,4 +1,4 @@ ===> Num of C source files : 44 ===> Num of C source lines : 5740 -===> Num of Fype source examples : 2 -===> Num of Fype source lines : 18 +===> Num of Fype source examples : 0 +===> Num of Fype source lines : 0 diff --git a/docs/version.txt b/docs/version.txt index e945d56..84447fd 100644 --- a/docs/version.txt +++ b/docs/version.txt @@ -1 +1 @@ -Fype2 Alpha Build 10390 +Fype2 Alpha Build 10391 -- cgit v1.2.3 From 1030b87acb586d756e9d5a39f5dfea8fe8af517f Mon Sep 17 00:00:00 2001 From: Paul Buetow 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 +- 3 files changed, 11 insertions(+), 43 deletions(-) (limited to 'docs') 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) +LambdaFype Alpha Build 10393 +(c) Paul Buetow (2005 - 2010) -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 -- cgit v1.2.3 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 From 0b7e31f8586a8237297f29793169b3eb27842f46 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 May 2010 10:24:06 +0000 Subject: --- docs/fype.txt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'docs') diff --git a/docs/fype.txt b/docs/fype.txt index 87ebee2..77ccdad 100644 --- a/docs/fype.txt +++ b/docs/fype.txt @@ -1,11 +1,13 @@ -Lambda Rules +Lambda Rules: (1) x ϵ V => x ϵ Λ (2) M,N ϵ Λ => (M N) ϵ Λ (Application) (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 -λx.λy.((x y) False) ≡ λxy.((x y) False) ≡ "And" +Examples: + +(λx.(λy.x)) ≡ λx.λy.x ≡ λx y.x ≡ false +(λx.(λy.y)) ≡ λx.λy.y ≡ λx y.y ≡ true +λx.λy.((x y) false) ≡ λx y.((x y) false) ≡ and -- cgit v1.2.3 From 5ab5de91eb0ae6ed9db78a2c8c47ec67f105e504 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Wed, 12 May 2010 21:13:52 +0000 Subject: --- docs/fype.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'docs') diff --git a/docs/fype.txt b/docs/fype.txt index 77ccdad..004652e 100644 --- a/docs/fype.txt +++ b/docs/fype.txt @@ -11,3 +11,21 @@ Examples: (λx.(λy.y)) ≡ λx.λy.y ≡ λx y.y ≡ true λx.λy.((x y) false) ≡ λx y.((x y) false) ≡ and +Syntax: + +(λx . (λy.x)) ≡ λx.λy.x ≡ λx y . x ≡ false +true: x y = x; + +(λx.(λy.y)) ≡ λx.λy.y ≡ λx y . y ≡ true +false: x y = y; + +λx.λy.((x y) false) ≡ λx y.((x y) false) ≡ and +and: x y = (x y) false; + +id: x = x; + +greet: x = say (~ "Hello " x); + + + + -- cgit v1.2.3