From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 5 Mar 2024 18:19:27 +0900 Subject: v0.12.0 --- sample/fib_9_abbr.in | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 sample/fib_9_abbr.in (limited to 'sample/fib_9_abbr.in') diff --git a/sample/fib_9_abbr.in b/sample/fib_9_abbr.in deleted file mode 100644 index 57a8c62..0000000 --- a/sample/fib_9_abbr.in +++ /dev/null @@ -1,16 +0,0 @@ -// 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