github/linguist — pull request #252 by dagit (2012-09-12 05:52:15+00:00)
Title: Add Agda and Literate Agda to languages.yml

This adds basic support for Agda (and Literate Agda). I haven't figure out how to add support to pygments.rb, but hopefully that is orthogonal (and next).