[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 2

Sergei Meshveliani mechvel at botik.ru
Mon Apr 1 14:39:48 CEST 2019


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.

The following changes relatively to  March 15  have been forced in the
application source:

  filter⁺₂  -->  filter⁺

  ..All.Properties.filter⁺₁  -->   all-filter

  Relation.Binary.List.Pointwise  -->  Data.List...

  Relation.Binary.Product.Pointwise  -->
           Data.Product.Relation.Binary.Pointwise.NonDependent


Regards,

------
Sergei





More information about the Agda mailing list