search

FStarLang / VimFStar

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

--ide support? #16

Open cpitclaudel opened 7 years ago

cpitclaudel commented 7 years ago

Hey @SimonForest and @mlr-msft,

We've just merged an improved IDE frontend in the FStar repo. I've documented the new protocol at https://github.com/FStarLang/FStar/wiki/Editor-support-for-F , and added notes at the end about porting. It should be relatively easy to update VimFStar: the new protocol is mostly just JSON syntax and a bunch of new opt-in features. The old --in flag is still in place, of course, so nothing should break — but it would be nice to update and upgrade F support in Vim!

Let me know if I can help with the port.

nikswamy commented 6 years ago

Is anyone still using VimFStar? If so, can we upgrade it to use --ide mode?