News for hackers. Stuff that matters.

A comment on F* – A Proof-Oriented Programming Language. Parent comment

Re:F* – A Proof-Oriented Programming Language by lambdanik on Thursday May 16, 2024 @11:04AM (#40379289)
Have you seen 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

[ Parent | on HN ]
Re:F* – A Proof-Oriented Programming Language by tombert on Thursday May 16, 2024 @11:55AM (#40379856)
I 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.

[ Parent | on HN ]