Problems from http://adriann.github.io/programming_problems.html, solutions using Idris