A repository containing interesting challenges to be solved in the Idris programming language - View it on GitHub