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 -------------------------------------------
 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