[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