*.lagda.md linguist-language=Agda
*.lagda.md linguist-detectable=true
agda/Agda.css linguist-vendored