mirror of
https://github.com/neovim/neovim.git
synced 2024-12-19 10:45:16 -07:00
26 lines
804 B
VimL
26 lines
804 B
VimL
|
" Vim syntax file
|
||
|
|
" Language: Literate Idris 2
|
||
|
|
" Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>
|
||
|
|
" Last Change: 2020 May 19
|
||
|
|
" Version: 0.1
|
||
|
|
" License: Vim (see :h license)
|
||
|
|
" Repository: https://github.com/ShinKage/idris2-nvim
|
||
|
|
"
|
||
|
|
" This is just a minimal adaption of the Literate Haskell syntax file.
|
||
|
|
|
||
|
|
" quit when a syntax file was already loaded
|
||
|
|
if exists("b:current_syntax")
|
||
|
|
finish
|
||
|
|
endif
|
||
|
|
|
||
|
|
" Read Idris highlighting.
|
||
|
|
syntax include @idris2Top syntax/idris2.vim
|
||
|
|
|
||
|
|
" Recognize blocks of Bird tracks, highlight as Idris.
|
||
|
|
syntax region lidris2BirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idris2Top,lidris2BirdTrack
|
||
|
|
syntax match lidris2BirdTrack "^>" contained
|
||
|
|
|
||
|
|
hi def link lidris2BirdTrack Comment
|
||
|
|
|
||
|
|
let b:current_syntax = "lidris2"
|