 cirosantilli/lean/string.lean

def main : IO Unit := do
  IO.println String.append "Hello, " "world!"