[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 1
Andres Sicard Ramirez
asr at eafit.edu.co
Fri Mar 15 13:41:32 CET 2019
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.
--
Andrés, on behalf of the Agda Team
More information about the Agda
mailing list