[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1

Andres Sicard Ramirez asr at eafit.edu.co
Wed Mar 20 11:56:01 CET 2019


On Tue, 19 Mar 2019 at 06:04, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> I have tested it on  ghc-8.6.3, MAlonzo, Ubuntu Linux 18.04,
>
> on certain application libraries called Binary, Fraction, Polynomial.
> It looks all right.
>

Thank you for testing the release candidate!

-- 
Andrés


More information about the Agda mailing list