0cf6d611 ^
1 2 3 4 5 6 7 8 9
module Properties where -- | Fibonacci number of given 'Integer'. -- -- prop> fib n <= fib (n + 1) fib :: Integer -> Integer fib 0 = 0 fib 1 = 1 fib n = fib (n - 1) + fib (n - 2)