module Main where

import Prelude

factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n * factorial (n - 1)

main :: IO ()
main = do
  println "Factorial of 5 is:"
  println (factorial 5)