Type-Driven Development In Idris Exercise Answers Exercise answers for the book 'Type-Driven Development with Idris'. Check it out at: https://www.manning.com/books/type-driven-development-with-idris