@@ -271,11 +271,11 @@ enum Language {
271
271
Forth ,
272
272
Go ,
273
273
Haskell ,
274
+ Idris ,
274
275
Java ,
275
276
Kotlin ,
276
277
Lisp ,
277
278
Lua ,
278
- Idris ,
279
279
Nim ,
280
280
ObjectiveC ,
281
281
Python ,
@@ -303,11 +303,11 @@ impl fmt::Display for Language {
303
303
Language :: Forth => write ! ( f, "Forth" ) ,
304
304
Language :: Go => write ! ( f, "Go" ) ,
305
305
Language :: Haskell => write ! ( f, "Haskell" ) ,
306
+ Language :: Idris => write ! ( f, "Idris" ) ,
306
307
Language :: Java => write ! ( f, "Java" ) ,
307
308
Language :: Kotlin => write ! ( f, "Kotlin" ) ,
308
309
Language :: Lisp => write ! ( f, "Lisp" ) ,
309
310
Language :: Lua => write ! ( f, "Lua" ) ,
310
- Language :: Idris => write ! ( f, "Idris" ) ,
311
311
Language :: Nim => write ! ( f, "Nim" ) ,
312
312
Language :: ObjectiveC => write ! ( f, "Objective-C" ) ,
313
313
Language :: Python => write ! ( f, "Python" ) ,
@@ -649,11 +649,11 @@ impl From<tokei::LanguageType> for Language {
649
649
tokei:: LanguageType :: Forth => Language :: Forth ,
650
650
tokei:: LanguageType :: Go => Language :: Go ,
651
651
tokei:: LanguageType :: Haskell => Language :: Haskell ,
652
+ tokei:: LanguageType :: Idris => Language :: Idris ,
652
653
tokei:: LanguageType :: Java => Language :: Java ,
653
654
tokei:: LanguageType :: Kotlin => Language :: Kotlin ,
654
655
tokei:: LanguageType :: Lisp => Language :: Lisp ,
655
656
tokei:: LanguageType :: Lua => Language :: Lua ,
656
- tokei:: LanguageType :: Idris => Language :: Idris ,
657
657
tokei:: LanguageType :: Nim => Language :: Nim ,
658
658
tokei:: LanguageType :: ObjectiveC => Language :: ObjectiveC ,
659
659
tokei:: LanguageType :: Python => Language :: Python ,
@@ -683,11 +683,11 @@ fn get_all_language_types() -> Vec<tokei::LanguageType> {
683
683
tokei:: LanguageType :: Forth ,
684
684
tokei:: LanguageType :: Go ,
685
685
tokei:: LanguageType :: Haskell ,
686
+ tokei:: LanguageType :: Idris ,
686
687
tokei:: LanguageType :: Java ,
687
688
tokei:: LanguageType :: Kotlin ,
688
689
tokei:: LanguageType :: Lisp ,
689
690
tokei:: LanguageType :: Lua ,
690
- tokei:: LanguageType :: Idris ,
691
691
tokei:: LanguageType :: Nim ,
692
692
tokei:: LanguageType :: ObjectiveC ,
693
693
tokei:: LanguageType :: Python ,
@@ -716,11 +716,11 @@ impl Info {
716
716
Language :: Forth => include_str ! ( "../resources/forth.ascii" ) ,
717
717
Language :: Go => include_str ! ( "../resources/go.ascii" ) ,
718
718
Language :: Haskell => include_str ! ( "../resources/haskell.ascii" ) ,
719
+ Language :: Idris => include_str ! ( "../resources/idris.ascii" ) ,
719
720
Language :: Java => include_str ! ( "../resources/java.ascii" ) ,
720
721
Language :: Kotlin => include_str ! ( "../resources/kotlin.ascii" ) ,
721
722
Language :: Lisp => include_str ! ( "../resources/lisp.ascii" ) ,
722
723
Language :: Lua => include_str ! ( "../resources/lua.ascii" ) ,
723
- Language :: Lua => include_str ! ( "../resources/idris.ascii" ) ,
724
724
Language :: Nim => include_str ! ( "../resources/nim.ascii" ) ,
725
725
Language :: ObjectiveC => include_str ! ( "../resources/objectivec.ascii" ) ,
726
726
Language :: Python => include_str ! ( "../resources/python.ascii" ) ,
@@ -749,11 +749,11 @@ impl Info {
749
749
Language :: Forth => vec ! [ Color :: BrightRed ] ,
750
750
Language :: Go => vec ! [ Color :: White ] ,
751
751
Language :: Haskell => vec ! [ Color :: BrightBlue , Color :: BrightMagenta , Color :: Blue ] ,
752
+ Language :: Idris => vec ! [ Color :: Red ] ,
752
753
Language :: Java => vec ! [ Color :: BrightBlue , Color :: Red ] ,
753
754
Language :: Kotlin => vec ! [ Color :: Blue , Color :: Yellow , Color :: Magenta ] ,
754
755
Language :: Lisp => vec ! [ Color :: Yellow ] ,
755
756
Language :: Lua => vec ! [ Color :: Blue ] ,
756
- Language :: Lua => vec ! [ Color :: Red ] ,
757
757
Language :: Nim => vec ! [ Color :: Yellow , Color :: BrightWhite ] ,
758
758
Language :: ObjectiveC => vec ! [ Color :: BrightBlue , Color :: Blue ] ,
759
759
Language :: Python => vec ! [ Color :: Blue , Color :: Yellow ] ,
0 commit comments