An eclectic collection of beginner Idris code