[Agda] Re: ANNOUNCE: Agda 2.4.2.3 release candidate

[Andrés Sicard-Ramírez]

On 18 May 2015 at 22:56, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> This RC can be installed using the following instructions:
>
>   $ tar xzf 2.4.2.2.20150518.tar.gz
>   $ cd Agda-2.4.2.2.20150518.tar.gz
>   $ cabal install

The right instructions are:

  $ tar xzf agda-2.4.2.2.20150518.tar.gz
  $ cd agda-2.4.2.2.20150518.tar.gz
  $ cabal install

-- 
Andrés