[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1
Sergei Meshveliani
mechvel at botik.ru
Tue Mar 19 11:26:25 CET 2019
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.
------
Sergei
On Fri, 2019-03-15 at 12:41 +0000, Andres Sicard Ramirez wrote:
> Dear all,
>
> The Agda Team is very pleased to announce the first release candidate
> of Agda 2.6.0.
>
> Installation
> =======
>
> This RC can be installed using the following instructions:
>
> $ cabal install
> https://hackage.haskell.org/package/Agda-2.5.4.2.20190310/candidate/Agda-2.5.4.2.20190310.tar.gz
>
> or
>
> $ cabal get https://hackage.haskell.org/package/Agda-2.5.4.2.20190310/candidate/Agda-2.5.4.2.20190310.tar.gz
> $ cd Agda-2.5.4.2.20190310
> $ cabal install
>
> GHC supported versions
> ===============
>
> This RC has been tested with GHC 8.6.4, 8.4.4, 8.2.2, 8.0.2 and 7.10.3
> on Linux, macOS and Windows.
>
> Standard library
> ==========
>
> For the time being, you can use the *experimental* branch of the
> standard library which is compatible with
> this RC. This branch is available at
>
> https://github.com/agda/agda-stdlib/
>
> What is new, fixed issues and incompatibilities
> ================================
>
> * http://hackage.haskell.org/package/Agda-2.5.4.2.20190310/candidate/changelog
>
> * New option `--cubical` to enable support for path equality and
> related features from Cubical Type Theory
> (https://arxiv.org/abs/1611.02108), including univalence and higher
> inductive types. See `Cubical` in the documentation for more info.
>
> Enjoy the RC and please test as much as possible.
>
More information about the Agda
mailing list