| " 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" |