Added idris example

http://www.idris-lang.org/