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.
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
--inflag 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.