v0.12.0

1 files changed, 16 insertions, 0 deletions

diff --git a/sample/recursive_functions/fib_9.in b/sample/recursive_functions/fib_9.in
new file mode 100644
index 0000000..7c4af1f
--- /dev/null
+++ b/sample/recursive_functions/fib_9.in
@@ -0,0 +1,16 @@
+// 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;
+