[Agda] [ANNOUNCE] Agda release candidate

Andreas Abel abela at chalmers.se
Sun Mar 20 21:29:40 CET 2022

On behalf of the Agda Team, I am pleased to announce a release candidate 
for Agda

     https://hackage.haskell.org/package/Agda- will be mostly a bugfix release, and will build in the latest 
Haskell ecosystem (bytestring-, text-icu-
For detailed comparison with, consult the changelog published 
with the candidate above.

Instructions how to test the candidate are available at:


Please report any regressions over (or 2.6.2) at the Agda issue 
I plan to release Agda one week later, should no 
release-stopping regressions be reported.


Andreas Abel  <><      Du bist der geliebte Mensch.

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

andreas.abel at gu.se

More information about the Agda mailing list