196641 (1) [Avatar] Offline
The "usleep 1000000" line in Listing 5.7 results in a no-op using (potentially among others...) the Idris Windows x64 binary version 0.12.2. This is because the underlying C function called via FFI performs a no-op if its received argument is greater than or equal to 1000000.

I submitted an issue (https://github.com/idris-lang/Idris-dev/issues/3505), but this issue may directly affect the book, so I am bringing it to attention here as well.