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 wrote:

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