leachim6/hello-world — pull request #155 by japesinator (2014-11-24 02:54:43+00:00)
Title: Added idris example

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