Idris exercises from "Type Driven Development with Idris" book. - View it on GitHub