[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 2

Andres Sicard Ramirez asr at eafit.edu.co
Mon Apr 1 14:49:54 CEST 2019


On Mon, 1 Apr 2019 at 07:39, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> On Sun, 2019-03-31 at 22:19 +0000, Andres Sicard Ramirez wrote:
> > Dear all,
> >
> > The Agda Team is very pleased to announce the second release candidate
> > of Agda 2.6.0.
> > [..]
>
>
> I have tested it under  ghc-8.6.3, MAlonzo, Ubuntu Linux 18.04
> on certain libraries Binary, Fraction, Poly.
> It looks all right.

Thank you for your feedback.

-- 
Andrés


More information about the Agda mailing list