From Jesper at sikanda.be  Sat Jun  5 12:38:30 2021
From: Jesper at sikanda.be (Jesper Cockx)
Date: Sat, 5 Jun 2021 12:38:30 +0200
Subject: [Agda-dev] [Agda] [ANNOUNCE] Agda 2.6.2 release candidate
In-Reply-To: <c24ed11f19a6a8b59f77c372aab824ee@scico.botik.ru>
References: <CAOUWSGAVBiFYvOAjG+XqQWxJFARbt8mHC4Mk74x0ogU4FeFHuw@mail.gmail.com>
	<c24ed11f19a6a8b59f77c372aab824ee@scico.botik.ru>
Message-ID: <CAEm=bozD4RsRpfduWqODJ4G-DA2ss71xftqXb8V_1fAwKoBO8Q@mail.gmail.com>

Dear Sergei,

Note that 8.8.3 is not supported, so it is not surprising that the
compilation failed.

-- Jesper

On Sat, Jun 5, 2021 at 12:22 PM <mechvel at scico.botik.ru> wrote:

> On 2021-05-25 18:40, Andr?s Sicard-Ram?rez wrote:
> > Dear all,
> >
> > The Agda Team is very pleased to announce a release candidate of Agda
> > 2.6.2. We plan to release 2.6.2 in a few days.
> > [..]
>
> > Agda 2.6.2 RC has been tested with GHC 9.0.1, 8.10.4, 8.8.4, 8.6.5,
> > 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows.
> >
>
> In Ubuntu Linux 18.04, I first tried it with  ghc-8.8.3 :
>
>    > cabal install
>
> And it has failed, it has reported several errors, I do not recall what
> precisely,
> but something essential.
> (probably, you can try it under ghc-8.8.3, Linux).
>
> Then I tried this under  ghc-9.0.1,  and it has installed.
> Now, I am going to apply this candidate.
>
> Regards,
>
> -----
> Sergei
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20210605/dbef7cde/attachment.html>

From asr at eafit.edu.co  Sat Jun 19 08:38:41 2021
From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=)
Date: Sat, 19 Jun 2021 01:38:41 -0500
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.2
In-Reply-To: <CAOUWSGAVBiFYvOAjG+XqQWxJFARbt8mHC4Mk74x0ogU4FeFHuw@mail.gmail.com>
References: <CAOUWSGAVBiFYvOAjG+XqQWxJFARbt8mHC4Mk74x0ogU4FeFHuw@mail.gmail.com>
Message-ID: <CAOUWSGD-PHgQHPwLDqY1DF_BPRcCivSkujePZnbDU7d8TDDcFA@mail.gmail.com>

Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.2.

# Highlights

* Several improvements and bug-fixes related to Run-time Irrelevance (
https://agda.readthedocs.io/en/v2.6.2/language/runtime-irrelevance.html).

* Several improvements and bug-fixes related to the JavaScript Backend (
https://agda.readthedocs.io/en/v2.6.2/tools/compilers.html#javascript-backend
).

* Added experimental support for Guarded Cubical Agda (
https://agda.readthedocs.io/en/v2.6.2/language/guarded-cubical.html).

* The Primitive Sorts (
https://agda.readthedocs.io/en/v2.6.2/language/built-ins.html#sorts) of
Agda (`Set` and `Prop`) are no longer keywords and can be renamed when
importing `Agda.Primitive`.

* Added native support for the Inspect Idiom (
https://agda.readthedocs.io/en/v2.6.2/language/with-abstraction.html#with-abstraction-equality
).

* Added support for making System Calls (
https://agda.readthedocs.io/en/v2.6.2/language/reflection.html#system-calls)
  from the reflection API.
# GHC supported versions

Agda 2.6.2 has been tested with GHC 9.0.1, 8.10.5, 8.8.4, 8.6.5, 8.4.4,
8.2.2 and 8.0.2 on Linux, macOS and Windows.

# Installation

You can install Agda 2.6.2 with Cabal or stack. See
https://agda.readthedocs.io/en/v2.6.2/getting-started/installation.html .

# Standard library

For the time being, you can use the *master* branch of the standard library
with Agda 2.6.2 (https://github.com/agda/agda-stdlib/).

# Fixed issues

    https://hackage.haskell.org/package/Agda-2.6.2/changelog


Enjoy Agda 2.6.2.

-- 
Andr?s, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20210619/5ee21b8f/attachment.html>