I found a minor mistake in section 5.1.1, Evaluating and executing interactive programs (page 149).

Idris> :exec putStrLn (47 * 2)
94

instead of

Idris> :exec putStrLn (show (47 * 2))
94

You are correct, thank you! The final version is imminent, so I think this is just in time!