module Main where

import           Props

main :: IO ()
main = putStrLn helloWorld