CORE/core.vim at master · been-jamming/CORE · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
" Vim syntax file
" Language: CORE proof assistant
" Maintainer: Benjamin Jones
" Latest Revision: 11 April 2022

if exists("b:current_syntax")
	finish
endif

" Commands
syn keyword CORE_commands return
syn keyword CORE_commands or
syn keyword CORE_commands define
syn keyword CORE_commands axiom
syn keyword CORE_commands prove
syn keyword CORE_commands given
syn keyword CORE_commands choose
syn keyword CORE_commands assume
syn keyword CORE_commands not
syn keyword CORE_commands print
syn keyword CORE_commands object
syn keyword CORE_commands debug
syn keyword CORE_commands rename
syn keyword CORE_commands relation
syn keyword CORE_commands context
syn keyword CORE_commands import
syn keyword CORE_commands include
syn keyword CORE_commands dependent

" Functions
syn keyword CORE_functions left
syn keyword CORE_functions right
syn keyword CORE_functions and
syn keyword CORE_functions or
syn keyword CORE_functions branch
syn keyword CORE_functions expand
syn keyword CORE_functions iff
syn keyword CORE_functions trivial
syn keyword CORE_functions substitute

" Comments
syn match CORE_comment "\/\/.*$"

" Operators
syn match CORE_operator "\V~"
syn match CORE_operator "\V*"
syn match CORE_operator "\V^"
syn match CORE_operator "\V&"
syn match CORE_operator "\V|"
syn match CORE_operator "\V->"
syn match CORE_operator "\V<->"
syn match CORE_operator "\V#"
syn match CORE_operator "\V="

" Strings
syn region CORE_string start=/\v"/ end=/\v"/

let b:current_syntax = "core"

hi def link CORE_commands Statement
hi def link CORE_functions Function
hi def link CORE_comment Comment
hi def link CORE_operator Operator
hi link CORE_string String