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)