A Repository to play with Idris Programming Language (http://www.idris-lang.org/)