[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

Nils Anders Danielsson nad at cse.gu.se
Mon Jun 7 11:28:04 CEST 2021


On 2021-06-06 20:23, mechvel at scico.botik.ru wrote:
> No,
> because  2.6.2.rc1  cannot install under ghc-8.8.3,
> and I expect that 2.6.2.rc2 also would not.

It should not matter what version of GHC you use to compile Agda, only
which version you use to compile the Haskell code that is generated from
your Agda development.

-- 
/NAD


More information about the Agda mailing list