26 October 2015 P2.0 (Printing)

  • We have fixed errata.
  • 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
  • Cleanup and polishing of miniKanren
  • Wrap up

24 June 2014 B1.0

First beta release.

×