[Agda] [ANNOUNCE] Agda 2.4.2.4

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Sep 26 17:37:11 CEST 2015


Hi,

We would like to announce the release of Agda 2.4.2.4.

Installation
=======

  $ cabal update && cabal install Agda

Important changes since Agda 2.4.2.3
=======================

  http://hackage.haskell.org/package/Agda-2.4.2.4/changelog

Standard library
==========

For the time being, a version of the standard library compatible with
Agda 2.4.2.4 is available via (requires Git >= 1.7.10)

  $ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.4
 --single-branch

or using previous versions of Git

  $ git clone https://github.com/agda/agda-stdlib.git
  $ cd agda-stdlib/
  $ git checkout --track origin/2.4.2.4

All the best,

-- 
Andrés, on behalf of the Agda team


More information about the Agda mailing list