We have changed the Elm code to run on version 0.15. You’ll see significant changes, including text processing, changing lifts to maps, and the syntax for types and type aliases. We made significant changes to the LanguageHeads game. (Thanks to Craig Stuntz for contributing that example!)
18 November 2014
P1.0
(Printing)
First printing.
03 November 2014
B6.0
Production is complete. Now it’s on to layout and then the printer.
24 September 2014
B5.0
The book is content-complete and headed to production.
22 August 2014
B4.0
Idris day 3
Elixir made 1.0 compatible
30 July 2014
B3.0
Julia chapter
Addressed errata
14 July 2014
B2.0
Idris, days 1 and 2, with interview by Edwin Brady, creator