tekerson/type-driven-development

Working through the exercises from @edwinb's "Type Driven Development with Idris" (https://www.manning.com/books/type-driven-development-with-idris)

IdrisMIT