@@ -271,11 +271,11 @@ enum Language {
271271 Forth ,
272272 Go ,
273273 Haskell ,
274+ Idris ,
274275 Java ,
275276 Kotlin ,
276277 Lisp ,
277278 Lua ,
278- Idris ,
279279 Nim ,
280280 ObjectiveC ,
281281 Python ,
@@ -303,11 +303,11 @@ impl fmt::Display for Language {
303303 Language :: Forth => write ! ( f, "Forth" ) ,
304304 Language :: Go => write ! ( f, "Go" ) ,
305305 Language :: Haskell => write ! ( f, "Haskell" ) ,
306+ Language :: Idris => write ! ( f, "Idris" ) ,
306307 Language :: Java => write ! ( f, "Java" ) ,
307308 Language :: Kotlin => write ! ( f, "Kotlin" ) ,
308309 Language :: Lisp => write ! ( f, "Lisp" ) ,
309310 Language :: Lua => write ! ( f, "Lua" ) ,
310- Language :: Idris => write ! ( f, "Idris" ) ,
311311 Language :: Nim => write ! ( f, "Nim" ) ,
312312 Language :: ObjectiveC => write ! ( f, "Objective-C" ) ,
313313 Language :: Python => write ! ( f, "Python" ) ,
@@ -649,11 +649,11 @@ impl From<tokei::LanguageType> for Language {
649649 tokei:: LanguageType :: Forth => Language :: Forth ,
650650 tokei:: LanguageType :: Go => Language :: Go ,
651651 tokei:: LanguageType :: Haskell => Language :: Haskell ,
652+ tokei:: LanguageType :: Idris => Language :: Idris ,
652653 tokei:: LanguageType :: Java => Language :: Java ,
653654 tokei:: LanguageType :: Kotlin => Language :: Kotlin ,
654655 tokei:: LanguageType :: Lisp => Language :: Lisp ,
655656 tokei:: LanguageType :: Lua => Language :: Lua ,
656- tokei:: LanguageType :: Idris => Language :: Idris ,
657657 tokei:: LanguageType :: Nim => Language :: Nim ,
658658 tokei:: LanguageType :: ObjectiveC => Language :: ObjectiveC ,
659659 tokei:: LanguageType :: Python => Language :: Python ,
@@ -683,11 +683,11 @@ fn get_all_language_types() -> Vec<tokei::LanguageType> {
683683 tokei:: LanguageType :: Forth ,
684684 tokei:: LanguageType :: Go ,
685685 tokei:: LanguageType :: Haskell ,
686+ tokei:: LanguageType :: Idris ,
686687 tokei:: LanguageType :: Java ,
687688 tokei:: LanguageType :: Kotlin ,
688689 tokei:: LanguageType :: Lisp ,
689690 tokei:: LanguageType :: Lua ,
690- tokei:: LanguageType :: Idris ,
691691 tokei:: LanguageType :: Nim ,
692692 tokei:: LanguageType :: ObjectiveC ,
693693 tokei:: LanguageType :: Python ,
@@ -716,11 +716,11 @@ impl Info {
716716 Language :: Forth => include_str ! ( "../resources/forth.ascii" ) ,
717717 Language :: Go => include_str ! ( "../resources/go.ascii" ) ,
718718 Language :: Haskell => include_str ! ( "../resources/haskell.ascii" ) ,
719+ Language :: Idris => include_str ! ( "../resources/idris.ascii" ) ,
719720 Language :: Java => include_str ! ( "../resources/java.ascii" ) ,
720721 Language :: Kotlin => include_str ! ( "../resources/kotlin.ascii" ) ,
721722 Language :: Lisp => include_str ! ( "../resources/lisp.ascii" ) ,
722723 Language :: Lua => include_str ! ( "../resources/lua.ascii" ) ,
723- Language :: Lua => include_str ! ( "../resources/idris.ascii" ) ,
724724 Language :: Nim => include_str ! ( "../resources/nim.ascii" ) ,
725725 Language :: ObjectiveC => include_str ! ( "../resources/objectivec.ascii" ) ,
726726 Language :: Python => include_str ! ( "../resources/python.ascii" ) ,
@@ -749,11 +749,11 @@ impl Info {
749749 Language :: Forth => vec ! [ Color :: BrightRed ] ,
750750 Language :: Go => vec ! [ Color :: White ] ,
751751 Language :: Haskell => vec ! [ Color :: BrightBlue , Color :: BrightMagenta , Color :: Blue ] ,
752+ Language :: Idris => vec ! [ Color :: Red ] ,
752753 Language :: Java => vec ! [ Color :: BrightBlue , Color :: Red ] ,
753754 Language :: Kotlin => vec ! [ Color :: Blue , Color :: Yellow , Color :: Magenta ] ,
754755 Language :: Lisp => vec ! [ Color :: Yellow ] ,
755756 Language :: Lua => vec ! [ Color :: Blue ] ,
756- Language :: Lua => vec ! [ Color :: Red ] ,
757757 Language :: Nim => vec ! [ Color :: Yellow , Color :: BrightWhite ] ,
758758 Language :: ObjectiveC => vec ! [ Color :: BrightBlue , Color :: Blue ] ,
759759 Language :: Python => vec ! [ Color :: Blue , Color :: Yellow ] ,
0 commit comments