[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Sep 14 22:11:57 CEST 2015

Previous message: [Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Next message: [Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 14 September 2015 at 15:01, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I can provide a self-contained code.

Please, do it.

-- 
Andrés

Previous message: [Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Next message: [Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list