IdrisExperiments Some experiments tried with Idris, while reading the amazing book "Type Driven Development".