Idris My (wonderful) excursions in Idris tdd-ex contains my solutions to Edwin Brady's (excellent) Type-Driven Development in Idris misc contains general thoughts and ramblings I have about Idris