rhi/beluga.vim
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

add typedef

Browse source
This commit is contained in:
Rhiannon Morris 2020-06-13 02:03:19 +02:00
parent d6eda4abd0
commit 772dc1ae0f
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
syntax/beluga.vim
View file

@ -26,7 +26,8 @@ hi def link belType Typedef
syn match belPragma /\%(%\|\<--\)\%(coverage\|warncoverage\|nostrengthen\|infix\|prefix\|assoc\|name\|abbrev\|not\|open\)\>/ syn match belPragma /\%(%\|\<--\)\%(coverage\|warncoverage\|nostrengthen\|infix\|prefix\|assoc\|name\|abbrev\|not\|open\)\>/
hi def link belPragma Special hi def link belPragma Special
syn keyword belDecl LF inductive coinductive fun stratified proof schema rec and syn keyword belDecl
\ LF inductive coinductive fun stratified proof schema rec and typedef
hi def link belDecl Structure hi def link belDecl Structure
syn keyword belTotal total syn keyword belTotal total