[Agda] [ANNOUNCE] Agda 2.6.2.2

[Andreas Abel]

Dear all,

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

# Changes

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

Highlights:
- Agda 2.6.2.2 catches up to changes in the Haskell ecosystem 
(bytestring-0.11.2.0, mtl-2.3-rc3/4, text-icu-0.8.0.1, stackage lts-19.0 
and nightly).
- It fixes an inconsistency in Cubical Agda.
- It fixes some issues with reflection, instance search, generalization 
and compilation, and some regressions introduced in 2.6.1 and 2.6.2.

Agda 2.6.2.2 has been tested with GHC 9.2.2, 9.0.2, 8.10.7, 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.2 with Cabal or stack. See:

 
https://agda.readthedocs.io/en/v2.6.2.2/getting-started/installation.html

# Standard library

Use standard library version 1.7.1 (or keep using 1.7 if you do not care 
about GHC 9.2).

    https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Enjoy Agda 2.6.2.2!

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/
-------------- next part --------------
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda