3 lines
102 B
Text
3 lines
102 B
Text
*.lagda.md linguist-language=Agda
|
|
*.lagda.md linguist-detectable=true
|
|
agda/Agda.css linguist-vendored
|