Merge pull request #751 from CodeBlock/master

Add Idris.
2025-10-29 17:50:22 +00:00 · 2013-11-04 21:07:25 -08:00
parent 1a4f890d04 5037dd5add
commit e4ec48fe8d
2 changed files with 49 additions and 0 deletions
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -652,6 +652,13 @@ INI:
  - .properties
  primary_extension: .ini

+Idris:
+  type: programming
+  lexer: Text only
+  primary_extension: .idr
+  extensions:
+  - .lidr
+
 Inno Setup:
  primary_extension: .iss
  lexer: Text only