18 January 2019 P1.0 (Printing)

First printing.

04 January 2019 B5.0

Production is complete. Now it’s on to layout and the printer.

01 November 2018 B4.0

  • Inlined most of the Elixir code along with the Erlang code and changed their reference style
  • Fixed errata
  • Fixed some typos
  • Added backreferences between solutions and their exercises
  • Made images friendlier to grayscale displays such as ebook readers

10 September 2018 B3.0

  • Fixed some typos
  • Fixed errata
  • Added chapter 11, State Machine Properties
  • Added chapter 8, Targeted Properties

27 August 2018 B2.0

  • Updated Erlang samples to use PropEr 1.3.0
  • Added chapter 10, Case Study: Bookstore and a related appendix

07 August 2018 B1.0

  • Initial release
  • Please tell us what you think! Currently, most of the Elixir code is in an appendix, but we will be changing that. By the time the book is published, we plan to include the Elixir code along with the Erlang code in the chapters. We have some ideas, but we’re still looking for ways to improve that. If you have any suggestions, please send them to us at fhproper@pragprog.com.