@@ -4,7 +4,7 @@ Note: `ghcide` was previously called `hie-core`.
5Our vision is that you should build an IDE by combining:
5Our vision is that you should build an IDE by combining:
7−<img style="float:right;" src="img/vscode2.png"/>
7+
9* [`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;
9* [`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;
10* `ghcide` (i.e. this library) for defining how to type check, when to type check, and producing diagnostic messages;
10* `ghcide` (i.e. this library) for defining how to type check, when to type check, and producing diagnostic messages;