I tried to follow the installation instructions but first got stuck because setup.exe isn't a cross-platform way of installation. Then when doing the manual installation, on step four, it asks me to open the iF# sln file, but there's no such file to open as a result of the previous commands. At least not one that I could find.