Agda and Literate Agda

I have added Agda to languages.yml