Agda-2.8.0.2: doc/release-notes/2.8.0.1.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.