module HelloWorld;
  open import Stdlib.Prelude;

  main : IO;
  main := putStrLn "hello world!";
end;