Type-Driven Development with Idris Errata

Thank you for purchasing Type-Driven Development with Idris. Please post any errors, other than those listed below, in the book's Author Online Forum. We'll compile a comprehensive list and publish it here for everyone's convenience. Thank you!

Last updated 30th June 2017

Chapter 2

Chapter 3

Chapter 4

Chapter 9

Chapter 10

Chapter 11

Chapter 12

Chapter 13

Chapter 15