diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:58:17 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:58:17 +0900 |
| commit | 2de302bcb3fa7e12c83a58909232a527c4d5372e (patch) | |
| tree | c71e5f12b2733bb0e3ef65734e6ff5a685a1c989 /comparison/Inpla/src/fib-38.in | |
| parent | 7eb8215df157a5ff32ccc0376ac2efc6276fc2bc (diff) | |
| download | inpla-2de302bcb3fa7e12c83a58909232a527c4d5372e.tar.gz inpla-2de302bcb3fa7e12c83a58909232a527c4d5372e.zip | |
Remove redundant letters
Diffstat (limited to 'comparison/Inpla/src/fib-38.in')
| -rw-r--r-- | comparison/Inpla/src/fib-38.in | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/comparison/Inpla/src/fib-38.in b/comparison/Inpla/src/fib-38.in index a79eb5b..925f5ff 100644 --- a/comparison/Inpla/src/fib-38.in +++ b/comparison/Inpla/src/fib-38.in @@ -4,13 +4,6 @@ Fib(r) >< (int n) | n == 1 => r~1 | _ => Add(r,cnt2)~cnt1, Fib(cnt1)~(n-1), Fib(cnt2)~(n-2); -/* -Addd(r,n) >< (int m) -=> Addd2(r,m) ~ n; - -Addd2(r,int m) >< (int n) -=> r~(m+n); -*/ Fib(r)~38; r; |