![Type-driven-Development-with-Idris](https://i0.wp.com/www.programmer-books.com/wp-content/uploads/2019/05/Type-driven-Development-with-Idris.jpg?resize=398%2C499&ssl=1)
Book Description:
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.