support Idris

yaohui-wyh · Sep 20, 2016 · 05439b7 · 05439b7
1 parent 0c0a464
commit 05439b7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language.go b/language.go
@@ -119,6 +119,7 @@ var Exts map[string]string = map[string]string{
 	"html":        "HTML",
 	"hx":          "Haxe",
 	"hxx":         "C++ Header",
+	"idr":         "Idris",
 	"il":          "SKILL",
 	"io":          "Io",
 	"ipynb":       "Jupyter Notebook",
@@ -409,6 +410,7 @@ func GetDefinitionLanguages() map[string]*Language {
 		"Haxe":                NewLanguage("Haxe", "//", "/*", "*/"),
 		"HLSL":                NewLanguage("HLSL", "//", "/*", "*/"),
 		"HTML":                NewLanguage("HTML", "//,<!--", "<!--", "-->"),
+		"Idris":               NewLanguage("Idris", "--", "{-", "-}"),
 		"Io":                  NewLanguage("Io", "//,#", "/*", "*/"),
 		"SKILL":               NewLanguage("SKILL", ";", "/*", "*/"),
 		"JAI":                 NewLanguage("JAI", "//", "/*", "*/"),