[Agda] [ANNOUNCE] Agda

Andreas Abel abela at chalmers.se
Sat Apr 2 20:54:54 CEST 2022

Dear all,

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

# Changes


- Agda catches up to changes in the Haskell ecosystem 
(bytestring-, mtl-2.3-rc3/4, text-icu-, 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 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 with Cabal or stack. See:


# Standard library

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


Enjoy Agda!

Andreas Abel  <><      Du bist der geliebte Mensch.

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

andreas.abel at gu.se
-------------- next part --------------
Agda mailing list
Agda at lists.chalmers.se

More information about the Agda mailing list