lean/count_to_ten.lean

def main : IO Unit := do
  for i in [1:11] do   -- range is inclusive of 1, exclusive of 11
    IO.println i