home
support
contact us
Register
Login
Forum Index
»
Type-Driven Development with Idris
»
Advanced search
minor correction in section 5.1.1 (page 149)
maczniak
(2)
Offline
Feb 28, 2017 @ 9:33 AM
#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)
Offline
Mar 7, 2017 @ 10:04 AM
#2
You are correct, thank you! The final version is imminent, so I think this is just in time!
“„
Reply to this topic