lean/count_with_sleep.lean

partial def main (n : Nat := 1) : IO Unit := do
  IO.println n
  IO.sleep 1000
  main (n + 1)