RosettaCodeData/Task/Hello-world-Text/Lean/hello-world-text-2.lean

def main : IO Unit :=
  IO.println ("Hello world!")

#eval main