Add detection for the Coq language - fixes #116

2026-01-10 03:15:34 +00:00 · 2012-02-17 10:49:05 -06:00
parent 4ad921f176
commit daef609f5f
6 changed files with 535 additions and 0 deletions
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -214,6 +214,12 @@ Common Lisp:
  - .lisp
  - .ny

+Coq:
+  type: programming
+  lexer: Coq
+  extensions:
+  - .v
+
 Cpp-ObjDump:
  type: data
  lexer: cpp-objdump
@@ -1047,6 +1053,8 @@ Vala:
 Verilog:
  type: programming
  lexer: verilog
+  overrides:
+  - .v
  extensions:
  - .v