package publish

This commit is contained in:
Vanessa McHale 2018-03-23 14:07:27 -05:00
parent af2dd5e774
commit d96d049ba0

View file

@ -27,7 +27,7 @@ syn match atsKeyword "\v[\%\+\-\<\>\=!\:\~]+"
syn keyword atsFixity infixr infixl prefix postfix
syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr
syn match arrowContents '\/'
syn match atsArrow '=/=>'
syn region atsArrow start="=<" end=">" contains=arrowContents
syn region atsArrow start="-<" end=">"