codekingpro/portable-devtools

1" Vim syntax file2" Language:    Literate Idris 23" Maintainer:  Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>4" Last Change: 2020 May 195" Version:     0.16" License:     Vim (see :h license)7" Repository:  https://github.com/ShinKage/idris2-nvim8"9" This is just a minimal adaption of the Literate Haskell syntax file.10 11" quit when a syntax file was already loaded12if exists("b:current_syntax")13  finish14endif15 16" Read Idris highlighting.17syntax include @idris2Top syntax/idris2.vim18 19" Recognize blocks of Bird tracks, highlight as Idris.20syntax region lidris2BirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idris2Top,lidris2BirdTrack21syntax match  lidris2BirdTrack "^>" contained22 23hi def link   lidris2BirdTrack Comment24 25let b:current_syntax = "lidris2"26