[Agda] installing agda-2.4.2.3

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Jul 27 00:43:14 CEST 2015

Previous message: [Agda] installing agda-2.4.2.3
Next message: [Agda] installing agda-2.4.2.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 26 July 2015 at 13:30, Sergei Meshveliani <mechvel at botik.ru> wrote:
>> cabal install cabal-install

I suggest to run the above command with a previous version of GHC.


-- 
Andrés

Previous message: [Agda] installing agda-2.4.2.3
Next message: [Agda] installing agda-2.4.2.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list