4 ms·
I'm waiting for someone to update Brew which is currently at 1.3. Installing 2.0 is currently a bit of a faff.
by davidwritesbugs 6y ago
I'm waiting for someone to update Brew which is currently at 1.3. Installing 2.0 is currently a bit of a faff.
- kryptiskt 6y agoidris2 is its own package on brew (and should be everywhere, idris and idris2 doesn't share any code) and there should be no problems installing them in parallel.
- davidwritesbugs 6y agoThanks. I'd assumed idris2 would replace idris so I didn't try searching for anything else. I've just grabbed it, thanks very much for the tip.