Update index.md

jsiek · Dec 5, 2024 · 64f5930 · 64f5930
1 parent 8432a19
commit 64f5930
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.md b/index.md
@@ -109,7 +109,7 @@ python ./deduce.py ./examples.pf
 ```
 
 You can also download one of these extensions for programming in Deduce in some common text editors. 
-- VSCode ([deduce-mode](https://github.com/HalflingHelper/deduce-mode))
+- VSCode ([deduce-mode](https://github.com/HalflingHelper/deduce-mode)). Install it from the extensions tab in VSCode.
 - Emacs ([deduce-mode](https://github.com/mateidragony/deduce-mode))
 - Vim (not now, not ever)