@@ -28,8 +28,8 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
28syn region idrisBlockComment start="{-" end="-}"
28syn region idrisBlockComment start="{-" end="-}"
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
31−highlight def link idrisImport Include
31+highlight def link idrisImport Structure
32−highlight def link idrisModule Include
32+highlight def link idrisModule Structure
33highlight def link idrisStructure Structure
33highlight def link idrisStructure Structure
34highlight def link idrisStatement Statement
34highlight def link idrisStatement Statement
35highlight def link idrisSyntax Statement
35highlight def link idrisSyntax Statement
@@ -37,15 +37,15 @@ highlight def link idrisVisibility Statement
37highlight def link idrisConditional Conditional
37highlight def link idrisConditional Conditional
38highlight def link idrisProofBlock Macro
38highlight def link idrisProofBlock Macro
39highlight idrisTactic ctermfg=cyan
39highlight idrisTactic ctermfg=cyan
40−highlight idrisLink ctermbg=yellow ctermfg=magenta
40+highlight def link idrisLink Statement
41−highlight idrisDirective ctermbg=magenta ctermfg=yellow
41+highlight def link idrisDirective Statement
42highlight def link idrisNumber Number
42highlight def link idrisNumber Number
43highlight def link idrisFloat Float
43highlight def link idrisFloat Float
44highlight def link idrisDelimiter Delimiter
44highlight def link idrisDelimiter Delimiter
45highlight def link idrisInfix PreProc
45highlight def link idrisInfix PreProc
46highlight def link idrisOperators Operator
46highlight def link idrisOperators Operator
47−highlight def link idrisType Type
47+highlight def link idrisType Include
48highlight def link idrisLineComment Comment
48highlight def link idrisLineComment Comment
49highlight def link idrisBlockComment Comment
49highlight def link idrisBlockComment Comment
50−highlight idrisMetaVar ctermbg=cyan ctermfg=black
50+highlight idrisMetaVar ctermfg=lightred
51highlight def link idrisString String
51highlight def link idrisString String