Idris 1.0 and the VS Code extension worked right out of the box on Windows. I'm impressed.