diff options
Diffstat (limited to 'transfer/examples/fib.tra')
| -rw-r--r-- | transfer/examples/fib.tra | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/transfer/examples/fib.tra b/transfer/examples/fib.tra deleted file mode 100644 index 43e533b1f..000000000 --- a/transfer/examples/fib.tra +++ /dev/null @@ -1,12 +0,0 @@ -import nat -import prelude - -fib : Integer -> Integer -fib 0 = 1 -fib 1 = 1 -fib n = fib (n-1) + fib (n-2) - -fibNat : Nat -> Nat -fibNat Zero = Succ Zero -fibNat (Succ Zero) = Succ Zero -fibNat (Succ (Succ n)) = plus Nat add_Nat (fibNat (Succ n)) (fibNat n)
\ No newline at end of file |