actorialRec n = fact 1 n 
    where 
        -- :fact :: Int -> Int -> Int 
        fact m n    | m > n     = 1 
                    | m <= n    = m * fact (m+1) n 
                    
-- prop_fac n = factorial n == factorialRec n 

-- Counting 
-- enumFrom 0 == [0..] 

factorialRec n = fact 1 n 
    where 
        -- :fact :: Int -> Int -> Int 
        fact m n    | m > n     = 1 
                    | m <= n    = m * fact (m+1) n 
                    
-- prop_fac n = factorial n == factorialRec n 

-- Counting 
-- enumFrom 0 == [0..] 
factorialRec n = fact 1 n 
    where 
        -- :fact :: Int -> Int -> Int 
        fact m n    | m > n     = 1 
                    | m <= n    = m * fact (m+1) n 
                    
-- prop_fac n = factorial n == factorialRec n 

-- Counting 
-- enumFrom 0 == [0..] 