The problem most users face with using straight up cabal is that often
the needs of one package conflict with the needs of some of the others
you've installed. I highly recommend you use stack to install idris.
The process should look something like this:
download stack, install it. (directions here:
https://docs.haskellstack.org/en/stable/README/)
git clone https://github.com/idris-lang/Idris-dev.git
cd idris-dev
stack install
And then either run ~/.local/bin/idris or make sure .local/bin is in
your PATH so that you can run idris on the command line.
On Tue, Aug 29, 2017 at 9:02 AM, Manny Romero
I am a Linux user (Mint 18) trying to install Idris. I don't know the slightest thing about computers. I barely managed to install Linux, and later the full GHC, based on ample instructions available on the Web. (Still don't actually recall how I did it!)
Idris, however, seems a little trickier. I followed the website (https://www.idris-lang.org/download/)'s instructions:
cabal update cabal install idris
...because apparently I installed "cabal" at some point. But I get this message, which apparently is quite common:
cabal: The following packages are likely to be broken by the reinstalls: semigroupoids-5.1 lens-4.15.1 kan-extensions-5.0.1 profunctors-5.2 comonad-5 bifunctors-5.4.1 Use --force-reinstalls if you want to install anyway.
...those are some of my favorite things! I can't live without them! I am reading things about creating a "sandbox" and so forth. But I cannot use or make sense of this information. I don't know the first thing about cabal; I never use it; I just load everything into GHCI all the time.
Does anyone have some *specific* instructions that I can follow (as "rotely" and dumbly as possible) to get Idris downloaded so I can use it for some beginning studies, without breaking Haskell?
_______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners