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.in | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 sample/fib_9.in (limited to 'sample/fib_9.in') 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; - -- cgit v1.2.3