[Agda-dev] Testing the installation of Agda 2.4.2.3 in Windows and Mac OS

[Andrés Sicard-Ramírez]

Hi,

I have tested the installation of the next Agda release
(http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.tar.gz) with GHC 7.4.2,
7.6.3, 7.8.4 and 7.10.1 in Ubuntu 12.04 64-bits.

Could someone test the installation in Windows and Mac OS using the
following instructions:

  $ tar xzf Agda-2.4.2.3.tar.gz
  $ cd Agda-2.4.2.3
  $ cabal install

Thanks,

-- 
Andrés