August 16, 2022

main : IO ()
main = putStrLn "hello, world"