diff options
Diffstat (limited to 'comparison/Inpla/src/fib-38-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/fib-38-reuse.in | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/comparison/Inpla/src/fib-38-reuse.in b/comparison/Inpla/src/fib-38-reuse.in index 6b3d32b..e56fabd 100644 --- a/comparison/Inpla/src/fib-38-reuse.in +++ b/comparison/Inpla/src/fib-38-reuse.in @@ -4,13 +4,6 @@ Fib(r) >< (int n) | n == 1 => r~1 | _ => Fib(cnt1)~(n-1), Fib(cnt2)~(n-2), (*L)Add(r,cnt2)~cnt1; -/* Add is realised as built-in. -Addd(r,n) >< (int m) -=> Addd2(r,m) ~ n; - -Addd2(r,int m) >< (int n) -=> r~(m+n); -*/ Fib(r)~38; r; |
