Merge pull request #555 from timjb/master

Support Agda and Literate Agda
2025-10-29 17:50:22 +00:00 · 2013-11-05 11:36:20 -08:00
parent c5f1317b47 5e03ff961b
commit 1a11a6ab48
3 changed files with 135 additions and 1 deletions
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -67,7 +67,13 @@ Ada:
  primary_extension: .adb
  extensions:
  - .ads
- 
+
+Agda:
+  type: programming
+  primary_extension: .agda
+  extensions:
+    - .agda
+
 ApacheConf:
  type: markup
  aliases:
@@ -805,6 +811,13 @@ LilyPond:
  extensions:
  - .ily

+Literate Agda:
+  type: programming
+  group: Agda
+  primary_extension: .lagda
+  extensions:
+    - .lagda
+
 Literate CoffeeScript:
  type: programming
  group: CoffeeScript