search

FStarLang / VimFStar

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

Interactive VimFStar #5

Closed SimonForest closed 9 years ago

SimonForest commented 9 years ago

Hi,

I added the possibility to use fstar interactively from vim with VimFStar. It works well at the moment. Tell me what you think !

Simon