github/linguist — pull request #214 by schernichkin (2012-08-08 23:10:34+00:00)
Title: Agda and Literate Agda

I have added Agda to languages.yml