1 files changed, 0 insertions, 43 deletions
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 ...)