From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Tue, 5 Mar 2024 18:19:27 +0900
Subject: v0.12.0

---
 sample/recursive_functions/fib_9_abbr.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 sample/recursive_functions/fib_9_abbr.in

(limited to 'sample/recursive_functions/fib_9_abbr.in')

diff --git a/sample/recursive_functions/fib_9_abbr.in b/sample/recursive_functions/fib_9_abbr.in
new file mode 100644
index 0000000..57a8c62
--- /dev/null
+++ b/sample/recursive_functions/fib_9_abbr.in
@@ -0,0 +1,16 @@
+// Fibonacci number
+
+// Rules
+fib(ret) >< (int n)
+| n == 0 => ret~0
+| n == 1 => ret~1
+| _ => cnt1 << fib(n-1), cnt2 << fib(n-2), ret << Add(cnt1,cnt2);
+
+
+// Note: Add is implemented as a built-in agent such that:
+//   Add(ret, int m) ~ (int n) --> ret~(m+n);
+
+// Nets
+ret << fib(9);
+ret;
+
-- 
cgit v1.2.3