wball/perga.nvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

oops, fixed highlighting on axioms

Browse source
This commit is contained in:
William Ball 2024-12-01 20:55:49 -08:00
parent 36f6058413
commit b53ddc01fd
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
queries/perga/highlights.scm
View file

@ -1,5 +1,4 @@
[ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" ] @keyword [ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" ] @keyword
(axiom) @keyword
(preprocess (preprocess
(command) @keyword (command) @keyword
@ -17,6 +16,9 @@
(definition (definition
name: (identifier) @function) name: (identifier) @function)
(axiom
name: (identifier) @function)
(binding (binding
(identifier) @function) (identifier) @function)