1 files changed, 0 insertions, 16 deletions
diff --git a/sample/fib_9.in b/sample/fib_9.in
deleted file mode 100644
index 7c4af1f..0000000
--- a/sample/fib_9.in
+++ /dev/null
@@ -1,16 +0,0 @@
-// Fibonacci number
-
-// Rules
-fib(ret) >< (int n)
-| n == 0 => ret~0
-| n == 1 => ret~1
-| _ => fib(cnt1)~(n-1), fib(cnt2)~(n-2), Add(ret, cnt2)~cnt1;
-
-
-// Note: Add is implemented as a built-in agent such that:
-//   Add(ret, int m) ~ (int n) --> ret~(m+n);
-
-// Nets
-fib(ret)~9;
-ret;
-