|
|
|
|
|
|
by frumplestlatz
245 days ago
|
|
|
Not all the integrations are equal in quality/usability, and in the case of F*, the VSCode extension is by far the most advanced. I switch between Emacs, VSCode, JetBrains IDEs, and Xcode regularly depending on what I am working on, and would be seriously annoyed if I could not use VSCode when it is most useful. |
|
|