Something went wrong. Try again.
Newt - a dependent typed programming language
This is a mirror of the main github repository. newt.cloakedarrow.com
Something went wrong. Try again.
12345678910111213141516171819202122syn keyword newtInfix infix infixl infixrsyn keyword newtKW data where let in case of derive module import if then else alias class instance record constructorsyn match newtType "\<[A-Z][a-zA-Z0-9]*\>"syn region newtBlockComment start="/-" end="-/"syn match newtLineComment "--.*$" contains=@Spell
syn region newtInterp matchgroup=PreProc start='\\{' end='}' contained contains=ALLsyn region newtString start='"' skip='\\"' end='"' contains=@Spell,newtInterp
syn match newtChar "'\([^'\\]\|\\.\)'"
highlight def link newtType Identifierhighlight def link newtInfix PreProchighlight def link newtBlockComment Commenthighlight def link newtLineComment Commenthighlight def link newtStructure Keywordhighlight def link newtKW Keywordhighlight def link newtString Stringhighlight def link newtChar Character
let b:current_syntax = "newt"