diff options
Diffstat (limited to 'transfer/examples')
| -rw-r--r-- | transfer/examples/fib.tr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/transfer/examples/fib.tr b/transfer/examples/fib.tr index 30513e226..988b5e772 100644 --- a/transfer/examples/fib.tr +++ b/transfer/examples/fib.tr @@ -1,6 +1,7 @@ import nat +import prelude -fib : Int -> Int +fib : Integer -> Integer fib 0 = 1 fib 1 = 1 fib n = fib (n-1) + fib (n-2) |