v0.8.1

2 files changed, 0 insertions, 15 deletions

diff --git a/sample/245II.in b/sample/245II.in
index c71d45d..27910eb 100644
--- a/sample/245II.in
+++ b/sample/245II.in
@@ -3,10 +3,8 @@
 // Rules
 Lam(a,b,c) >< App(x,y) => a~x, b~y, c~D;
 D >< V => ;
-B(a,b,c) >< Z => a~c, b~Z;
 B(a,x,e) >< Lam(b,c,y) => x~Lam(b,c,d), y~DB(a,d,e);
 DB(a,b,c) >< V => a~c, b~V;
-C(x,y) >< Z => x~Z, y~Z;
 C(x,y) >< Lam(s,t,u) =>
 	 x~Lam(a,b,c), y~Lam(d,e,f),
 	 s~Delta(a,d), t~Delta(b,e), u~C(c,f);
@@ -15,9 +13,6 @@ Delta(x,y) >< Delta(a,b) => x~a, y~b;
 B(x,a,b) >< Delta(c,d) => x~CB(a,b,Delta(c,d));
 Delta(a,b) >< CB(x,y,z) =>
 	x~Delta(c,d), y~Delta(e,f), z~Delta(B(a,c,e),B(b,d,f));
-Delta(x,y) >< S(z) =>
-	x~S(a), y~S(b), z~Delta(a,b);
-Delta(x,y) >< Z => x~Z, y~Z;
 Delta(x,y) >< V => x~V, y~V;
 Delta(x,y) >< C(t,s) =>
 	x~C(a,b), y~C(c,d), t~Delta(b,d), s~Delta(a,c);
diff --git a/sample/fib-tail-38.in b/sample/fib-tail-38.in
deleted file mode 100644
index 5996337..0000000
--- a/sample/fib-tail-38.in
+++ /dev/null
@@ -1,10 +0,0 @@
-// Fibonacci number
-fibt(r, int a, int b) >< (int n)
-| n == 0 => r~1
-| n == 1 => r~a
-| _ => fibt(r, a+b, a) ~ (n-1);
-
-fibMain(r) >< (int n) => fibt(r, 1, 1) ~ n;
-
-fibMain(r)~9;
-r;