[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