Agda-2.8.0.1: CHANGELOG.md
Release notes for Agda version 2.8.0.1 ====================================== * Added support for GHC 9.14.1 * Agda supports GHC versions 8.8.4 to 9.14.1.
Release notes for Agda version 2.8.0.1 ====================================== * Added support for GHC 9.14.1 * Agda supports GHC versions 8.8.4 to 9.14.1.