Hacker News new | past | comments | ask | show | jobs | submit login

Could you try updating the `ionide-installer` plugin? We had some minor issues over the past 30 mins[1] but they should be resolved now.

We definitely support Windows, I'm running it on Windows 10 right now ;)

[1] https://github.com/ionide/ionide-installer/issues/3"




Still doesn't do anything. I'll investigate further and create an issue on Github.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: