-- Informatics 2A Assignment 1, Nov 2016
-- MH test program 2

-- m mod n for m>=0, n>0 

mod :: Integer -> Integer -> Integer ;
mod m n = if (n <= m) then mod (m - n) n else m ;

-- Test expression: mod 18 7
-- Type should be:  Integer
-- Value should be: 4