@@ -28,8 +28,8 @@ syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
2828syn region idrisBlockComment start="{-" end="-}"
2929syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
3030
31−highlight def link idrisImport Include
32−highlight def link idrisModule Include
31+highlight def link idrisImport Structure
32+highlight def link idrisModule Structure
3333highlight def link idrisStructure Structure
3434highlight def link idrisStatement Statement
3535highlight def link idrisSyntax Statement
@@ -37,15 +37,15 @@ highlight def link idrisVisibility Statement
3737highlight def link idrisConditional Conditional
3838highlight def link idrisProofBlock Macro
3939highlight idrisTactic ctermfg=cyan
40−highlight idrisLink ctermbg=yellow ctermfg=magenta
41−highlight idrisDirective ctermbg=magenta ctermfg=yellow
40+highlight def link idrisLink Statement
41+highlight def link idrisDirective Statement
4242highlight def link idrisNumber Number
4343highlight def link idrisFloat Float
4444highlight def link idrisDelimiter Delimiter
4545highlight def link idrisInfix PreProc
4646highlight def link idrisOperators Operator
47−highlight def link idrisType Type
47+highlight def link idrisType Include
4848highlight def link idrisLineComment Comment
4949highlight def link idrisBlockComment Comment
50−highlight idrisMetaVar ctermbg=cyan ctermfg=black
50+highlight idrisMetaVar ctermfg=lightred
5151highlight def link idrisString String