github/linguist — pull request #1100 by CodeBlock (2014-04-22 07:00:13+00:00)
Title: Add Idris lexer to Idris language.

It is now in the Pygments repo at HEAD, so whenever GitHub gets that update, this should "just work."