1 files changed, 0 insertions, 33 deletions
diff --git a/sample/FibSZ_9.in b/sample/FibSZ_9.in
deleted file mode 100644
index b5a65a8..0000000
--- a/sample/FibSZ_9.in
+++ /dev/null
@@ -1,33 +0,0 @@
-// Fibonacci number on unary natural numbers
-fib(r)><Z => r~Z;
-fib(r)><S(x) => fibS(r)~x;
-fibS(r)><Z => r~S(Z);
-fibS(r)><S(x) => Dup(x1,x2)~x, add(r,r2)~r1, fib(r2)~x2, fibS(r1)~x1;
-
-
-
-//------ ADD ------
-//Add para
-add(r,x)><Z => r~x;
-add(r,x)><S(y) => r~S(w), add(w,x)~y;
-
-//Add_Seq
-//add(r,y)><Z => y~r;
-//add(r,y)><S(x) => add(r, S(y))~x;
-
-
-// ------ DUP ------
-// Dup is defined as built-in:
-//
-// Dup(x1,x2)><Z => x1~Z, x2~Z;
-// Dup(x1,x2)><S(x) => x1~S(w1), x2~S(w2), Dup(w1,w2)~x;
-
-
-
-
-// Execution
-// Fib 9
-fib(r)~S(S(S(S(S(S(S(S(S(Z)))))))));
-prnat r;
-free r;
-