aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Properties.hs
blob: 05930ece4c964b6087c1a39a08b641cbcdb88f4a (plain) (tree)
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)