@edwinbrady hey I tried all methods to install Idris on Windows (https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows …) and they all failed, it's too late to collect the error messages, but maybe someone could take a look at the process and refresh it (the cabal one fails on stack init with some obscure err)
Replying to @jancorazza
It's probably best to ask on the mailing list. I know nothing about the process on Windows I'm afraid (don't have access to a Windows machine...) but someone there surely will.
1:29 PM - 3 Mar 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.