compiling with base >= 4.18 (ghc >= 9.4.1)
jmchapman opened this issue · comments
Restricting to < base 4.18 in the cabal file means we can't build agda2hs with ghc 9.4 or higher at the moment
agda / agda2hs
Compiling Agda code to readable Haskell
Compiling Agda code to readable Haskell
jmchapman opened this issue · comments
Restricting to < base 4.18 in the cabal file means we can't build agda2hs with ghc 9.4 or higher at the moment