[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed May 23 23:20:43 CEST 2018

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1
Next message (by thread): [Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 23 May 2018 at 13:51, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I am porting  Binary-3.1  (see it on the web)

Where/what is Binary-3.1?


-- 
Andrés

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1
Next message (by thread): [Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list