My Idris installation instructions: https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Window...
It's an example of pulling down build tools and libs (well, a lib) with msys2.
It's an example of pulling down build tools and libs (well, a lib) with msys2.
And if you hit Cabal hell now and then, that happens to everybody so it's probably not because you're on Windows, just make a sandbox and see if it works there.