diff options
| -rw-r--r-- | queries/idris/highlights.scm | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/queries/idris/highlights.scm b/queries/idris/highlights.scm index f39deaec6..d3dfa7a9f 100644 --- a/queries/idris/highlights.scm +++ b/queries/idris/highlights.scm @@ -109,6 +109,11 @@ (caname) @module) [ + "let" + "in" +] @keyword + +[ (where) "rewrite" "interface" @@ -125,13 +130,12 @@ ] @keyword.operator [ - "data" - "let" - "in" (visibility) (totality) ] @keyword.modifier +"data" @keyword.type + [ "=" "$=" |