module Main (main) where

import Lib

main :: IO ()
main = do
  putStrLn $ "Примеры работы `isCongruent`"
  putStrLn $ "isCongruent 10 12 2: " ++ show (isCongruent 10 12 2)
  putStrLn $ "isCongruent 10 11 2: " ++ show (isCongruent 10 11 2)

  putStrLn $ "\nПример работы `filterByPredicate`"
  let predicate x = x > 5
  putStrLn $ "filterByPredicate (>5) [1, 6, 3, 7, 2]: " 
    ++ show (filterByPredicate predicate [1 :: Int, 6, 3, 7, 2])