leachim6/hello-world — pull request #156 by jozefg (2014-11-24 04:33:54+00:00)
Title: Added Agda

[Agda][wiki] is a dependently typed programming language. The wiki is currently down but [Wikipedia has a page][pedia].

[wiki]: http://wiki.portal.chalmers.se/agda/
[pedia]: https://en.wikipedia.org/wiki/Agda_(programming_language)