diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
| commit | 49960d8950d001a372a0abde670a66ee60026957 (patch) | |
| tree | adad1d5fe428bf0bea151f71ed114223fc246bca /sample/fib_9_abbr.in | |
| parent | 0cf73da9ad035089c66d21021a656e4606796c47 (diff) | |
| download | inpla-49960d8950d001a372a0abde670a66ee60026957.tar.gz inpla-49960d8950d001a372a0abde670a66ee60026957.zip | |
v0.12.0
Diffstat (limited to 'sample/fib_9_abbr.in')
| -rw-r--r-- | sample/fib_9_abbr.in | 16 |
1 files changed, 0 insertions, 16 deletions
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; - |