@@ -23,7 +23,7 @@ syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
2323syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
2424syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
2525syn match idrisLink "%\(lib\|link\|include\)"
26−syn match idrisAccess "%access"
26+syn match idrisDirective "%\(access\|default\)"
2727syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
2828syn region idrisBlockComment start="{-" end="-}"
2929syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
@@ -38,7 +38,7 @@ highlight def link idrisConditional Conditional
3838highlight def link idrisProofBlock Macro
3939highlight idrisTactic ctermfg=cyan
4040highlight idrisLink ctermbg=yellow ctermfg=magenta
41−highlight idrisAccess ctermbg=magenta ctermfg=yellow
41+highlight idrisDirective ctermbg=magenta ctermfg=yellow
4242highlight def link idrisNumber Number
4343highlight def link idrisFloat Float
4444highlight def link idrisDelimiter Delimiter