[adgasf]

Ionide gives you IDE features like type annotations and auto-complete.

[pjmlp]

Completely ignored my use cases.

[adgasf]

I was responding to:

> IDE support is much more than just editing text.

In case anyone reading this thread comes away thinking that VS Code + Ionide is only a text editor.