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
03 November 2014
Production is complete. Now it’s on to layout and then the printer.
24 September 2014
The book is content-complete and headed to production.
22 August 2014
Idris day 3
Elixir made 1.0 compatible
30 July 2014
14 July 2014
Idris, days 1 and 2, with interview by Edwin Brady, creator