mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-22 11:13:36 +03:00
6 lines
189 B
Idris
6 lines
189 B
Idris
|
countdown : (secs: Nat) -> IO ()
|
||
|
|
countdown Z = putStrLn "Lift off!"
|
||
|
|
countdown (S secs) = do putStrLn (show (S secs))
|
||
|
|
usleep 1000000
|
||
|
|
countdown secs
|