search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
583 stars 236 forks source link

Support GHC 9.4 #1829

Open nad opened 2 years ago

nad commented 2 years ago

The bounds for base in agda-stdlib-utils.cabal should include 4.17 so that GHC 9.4 is supported.

nad commented 2 years ago

I noticed that there are CI tests for various versions of GHC, but not for GHC 9.4.2.