[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