IO action: wait 1 second

Stream: new members

[Thomas Preu]

In Functional Programming in Lean Ch. 2.2.4 we find an example of a countdown that is displayed on the terminal when executed.
Is there a way to have an action that waits 1 second before the next number is printed? I imagine it might involve IO.wait .

[Henrik Böving]

docs#IO.sleep is what you are looking