Skip to content

Commit

Permalink
added agda language detection
Browse files Browse the repository at this point in the history
  • Loading branch information
Nimaoth committed Apr 28, 2024
1 parent 2b2a897 commit 4329b11
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/text/language/languages.nim
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ proc getLanguageForFile*(filename: string): Option[string] =
extension = extension[1..^1]

let languageId = case extension
of "agda", "lagda": "agda"
of "c", "cc", "inc": "c"
of "sh": "bash"
of "cs": "csharp"
Expand Down

0 comments on commit 4329b11

Please sign in to comment.