idris2-TDD-book-code The idris2 code snippets and my solutions to the exercises in the book of Type Driven Development with Idris.