-- HelloWorld.juvix module HelloWorld; open import Stdlib.Prelude; main : IO; main := printStringLn "hello world!";