search

FStarLang / VimFStar

A Vim mode for FStar
Vim License
24 stars 12 forks source link

preliminary work on new syntax highlighing. #4

Closed fmrl closed 9 years ago