maczniak (2) [Avatar] Offline
#1
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
Edwin Brady (65) [Avatar] Offline
#2
You are correct, thank you! The final version is imminent, so I think this is just in time!