From abela at chalmers.se Sat Apr 2 20:54:54 2022 From: abela at chalmers.se (Andreas Abel) Date: Sat, 2 Apr 2022 20:54:54 +0200 Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.2.2 In-Reply-To: References: Message-ID: 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