From b16caaa631ac8143c021c99fb16ce96cf69ead91 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sun, 9 May 2010 09:43:11 +0000
Subject:

---
 docs/fype.txt         | 43 +++++++++++++++++++++++++++++++++++++++++++
 docs/pbsc.txt         | 43 -------------------------------------------
 examples/netsted.fype | 11 -----------
 examples/reverse.fype |  7 -------
 test.fype             | 16 ++++------------
 5 files changed, 47 insertions(+), 73 deletions(-)
 create mode 100644 docs/fype.txt
 delete mode 100644 docs/pbsc.txt
 delete mode 100644 examples/netsted.fype
 delete mode 100644 examples/reverse.fype

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 ...)
diff --git a/examples/netsted.fype b/examples/netsted.fype
deleted file mode 100644
index 2ddf89f..0000000
--- a/examples/netsted.fype
+++ /dev/null
@@ -1,11 +0,0 @@
-(def (test)
-   (say "This is test")
-   (def (test2) 
-      (say "I am in test2" "And test3 will be defined next!")
-      (def (test3)
-         (say "Displaying all frames now:")
-         (show-frames))
-      (test3))
-   (test2))
-(test)
-
diff --git a/examples/reverse.fype b/examples/reverse.fype
deleted file mode 100644
index a4384b6..0000000
--- a/examples/reverse.fype
+++ /dev/null
@@ -1,7 +0,0 @@
-(def (reverse x)
-	(def (my-reverse x y)
-		(if (null? x)
-		    	y
-		    	(my-reverse (cdr x) (cons (car x) y))))
-	(my-reverse x '()))
-(reverse (list 1 2 3))
diff --git a/test.fype b/test.fype
index e5fb86c..0251e06 100644
--- a/test.fype
+++ b/test.fype
@@ -1,13 +1,5 @@
-(def (test a)
-   (def (test2 a2) 
-      (def (test3 a3)
-         (BEEP))
-      (test3 a2))
-   (def foo bar)
-   (def (barrr) foo)
-   (def (barr) (foo baz))
-   (def (bar x) (foo baz))
-   (test2 a))
-(test (foo bar baz))
-(say "hello world" 1.2)
+#*
+Lambda Fype Syntax:
 
+
+*#
-- 
cgit v1.2.3