*.lagda.md linguist-language=Literate Agda
*.lagda.md linguist-detectable=true