Files
linguist/samples/Agda