[Agda] 64-bit agda

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Apr 1 19:46:53 CEST 2010


On 2010-04-01 18:13, James Chapman wrote:
> Does the development version of Agda require ghc 6.12?

Darin introduced a dependency on recent versions of Cabal in his work on
Cabal support for Agda.

--
/NAD


More information about the Agda mailing list