agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

Support GHC 9.4

Open nad opened this issue 2 years ago • 1 comments

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

nad avatar Sep 20 '22 09:09 nad

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

nad avatar Oct 25 '22 09:10 nad