My Idris installation instructions: https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Window..

My Idris installation instructions: https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows 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.