Pygments now supports agda.