search

FStarLang / VimFStar

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

Update fstar.vim #13

Closed msprotz closed 8 years ago

msprotz commented 8 years ago

Pushed it myself