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

*.css linguist-detectable=false