3 lines
74 B
Plaintext
3 lines
74 B
Plaintext
*.mod linguist-language=LambdaProlog
|
|
*.sig linguist-language=LambdaProlog
|
*.mod linguist-language=LambdaProlog
|
|
*.sig linguist-language=LambdaProlog
|