README.md

Exercises for Type Driven Development

This is where I'll be storing my solutions to the Type Driven Development with Idris.

Goal of this repo: To make sure I go through all the exercises