[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