Skip to content
Permalink
Browse files

Mentioned VSCode support in README.md

  • Loading branch information
catalin-hritcu committed Jul 26, 2019
1 parent c759739 commit 2b8264c558e5682cba1689659e790b78ef103ef9
Showing with 4 additions and 4 deletions.
  1. +4 −4 README.md
@@ -25,10 +25,10 @@ documentation on F\*.

### Editing F* code

You can edit F\* code using your favourite text editor, but Emacs,
Atom, and Vim have extensions that add special support for F\*,
including syntax highlighting and interactive development. More
details on [editor support] on the [F\* wiki].
You can edit F\* code using your favourite text editor, but Emacs, Visual Studio
Code, Atom, and Vim have extensions that add special support for F\*, including
for instance syntax highlighting, code completion, quick navigation, type hints,
and interactive development. More details on [editor support] on the [F\* wiki].

[editor support]: https://github.com/FStarLang/FStar/wiki/Editor-support-for-F*

0 comments on commit 2b8264c

Please sign in to comment.
You can’t perform that action at this time.