5 ms·
Have you seen https://github.com/FStarLang/fstar-vscode-assistant https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely. We've
by lambdanik 2y ago
Have you seen https://github.com/FStarLang/fstar-vscode-assistant https://github.com/FStarLang/fstar-vscode-assistant? Copilot & F* works pretty nicely.
We've also had a pretty nice emacs mode for a while: https://github.com/FStarLang/fstar-mode.el https://github.com/FStarLang/fstar-mode.el
- tombert 2y agoI have not tried the VSCode stuff, but I did try the Emacs thing. Looking at the repo you linked, it looks like the first commit was last year and I left Jet in 2018. The Emacs mode was fine, I didn't think it was bad, but it was still a tough sell to my team; none of them wanted to install Emacs, they wanted a Visual Studio or JetBrains experience. I'm aware that's an uphill battle, and maybe it would be a different story if the VSCode extension existed in 2018.