html-test/src/Properties.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Haskell2010 #-}
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)