 cirosantilli/lean/count_to_ten.lean

def main : IO Unit := do
  for i in [1:11] do
    IO.println i