@@ -1,7 +1,10 @@
1−# `hie-core` (Haskell IDE Core)
1+# `hie-core` (Haskell IDE engine)
3Our vision is that you should build an IDE by combining:
3Our vision is that you should build an IDE by combining:
6+<img style="float:right;" src="img/vscode2.png"/>
5* [`hie-bios`](https://github.com/mpickering/hie-bios) for determining where your files are, what are their dependencies, what extensions are enabled and so on;
8* [`hie-bios`](https://github.com/mpickering/hie-bios) for determining where your files are, what are their dependencies, what extensions are enabled and so on;
6* `hie-core` (i.e. this library) for defining how to type check, when to type check, and producing diagnostic messages;
9* `hie-core` (i.e. this library) for defining how to type check, when to type check, and producing diagnostic messages;
7* A bunch of plugins that haven't yet been written, e.g. [`hie-hlint`](https://github.com/ndmitchell/hlint) and [`hie-ormolu`](https://github.com/tweag/ormolu), to choose which features you want;
10* A bunch of plugins that haven't yet been written, e.g. [`hie-hlint`](https://github.com/ndmitchell/hlint) and [`hie-ormolu`](https://github.com/tweag/ormolu), to choose which features you want;
@@ -46,7 +49,7 @@ Once you have got `hie-core` working outside the editor, the next step is to pic
47### Using with VS Code
50### Using with VS Code
49−Install the VS code extension
52+Install the VS code extension (see https://code.visualstudio.com/docs/setup/mac for details on adding `code` to your `$PATH`):
511. `cd compiler/hie-core/extension`
541. `cd compiler/hie-core/extension`
522. `npm ci`
552. `npm ci`